6020 search results - page 546 / 1204 » A New Approach to Model Counting |
201
click to vote
ISMAR
2007
IEEE
16 years 1 months ago
2007
IEEE
In this paper we present the process of designing and developing a fully functional and interactive AR handheld device. Based on a human-centered approach we describe the results ...
213
click to vote
GMP
2006
IEEE
16 years 1 months ago
2006
IEEE
We present a new surface representation scheme based on a manifold structure and displacement functions. Given a geometric model represented as a point cloud, we construct a domain...
169
click to vote
ICALT
2006
IEEE
16 years 1 months ago
2006
IEEE
Social software, such as blogs, wikis, tagging systems and collaborative filters, treats the group as a first-class object within the system. Drawing from theories of transactiona...
155
click to vote
IROS
2006
IEEE
16 years 1 months ago
2006
IEEE
- The creation of a rover for a specific task requires designing and selecting the mechanical structure specifically for its mission. This can be done by modelling a chassis and ev...
187
click to vote
IEEECIT
2005
IEEE
16 years 21 days ago
2005
IEEE
Abstract The conversation model captures interactions among the components of a composite web service. A conversation is the global sequence of messages exchanged among the compone...