4861 search results - page 801 / 973 » Parsimonious concept modeling |
202
click to vote
SMI
2007
IEEE
16 years 23 days ago
2007
IEEE
Defining sharp features in a given 3D model facilitates a better understanding of the surface and aids visualizations, reverse engineering, filtering, simplification, non-photo...
181
click to vote
TPHOL
2007
IEEE
16 years 23 days ago
2007
IEEE
Abstract. This paper introduces the logical system HOL2P that extends classical higher order logic (HOL) with type operator variables and universal types. HOL2P has explicit term o...
158
click to vote
WECWIS
2007
IEEE
16 years 22 days ago
2007
IEEE
Formation of high value procurement networks involves a bottom-up assembly of complex production, assembly, and exchange relationships through supplier selection and contracting d...
171
click to vote
WETICE
2007
IEEE
16 years 22 days ago
2007
IEEE
A new application of tuple-space-based coordination systems is in knowledge communication and representation. This knowledge is being published on the Web (the so-called “Semant...
204
click to vote
IROS
2007
IEEE
16 years 21 days ago
2007
IEEE
— For the collaborative control of a team of robots, a set of well-suited high-level control algorithms, especially for path planning and measurement scheduling, is essential. Th...