Search

Your search keyword '"Li, Wenchao"' showing total 45 results
Start Over Author "Li, Wenchao" Publisher springer berlin heidelberg
45 results on '"Li, Wenchao"'

8. Synthesis for Human-in-the-Loop Control Systems

Author

Li, Wenchao, Sadigh, Dorsa, Sastry, S. Shankar, Seshia, Sanjit A., Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Ábrahám, Erika, editor, and Havelund, Klaus, editor

Published
2014
Full Text
View/download PDF

11. Polynomial-Time Verification of PCTL Properties of MDPs with Convex Uncertainties

Author

Puggelli, Alberto, Li, Wenchao, Sangiovanni-Vincentelli, Alberto L., Seshia, Sanjit A., Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Sharygina, Natasha, editor, and Veith, Helmut, editor

Published
2013
Full Text
View/download PDF

12. Sparse Coding for Specification Mining and Error Localization

Author

Li, Wenchao, Seshia, Sanjit A., Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Qadeer, Shaz, editor, and Tasiran, Serdar, editor

Published
2013
Full Text
View/download PDF

18. Research on Autobody Panels Developmental Technology Based on Reverse Engineering

Author

Yang Bo, Li Huiguang, Li Wenchao, and Sha Xiaopeng

Subjects
Reverse engineering, Engineering, Geographic information system, business.industry, Control (management), OpenGL, computer.software_genre, Visualization, Computer Science::Graphics, Computer engineering, Shortest path problem, Systems engineering, business, computer
Abstract

For finding the shortest path in GIS (geographic information system), an algorithm of the approximate shortest path between two points on arbitrary triangular model is proposed in this paper. Its efficiency and better control accuracy are suitable to search for the shortest path. And three-dimensional visualization of the algorithm can be implemented by OpenGL with Visual C + + 9.0.

Published
2013

Catalog

Books, media, physical & digital resources
See catalog results