6020 search results - page 957 / 1204 » A New Approach to Model Counting |
168
click to vote
ICRA
2005
IEEE
16 years 2 days ago
2005
IEEE
— Vision is one of the most powerful sensory modalities in robotics, allowing operation in dynamic environments. One of our long-term research interests is mobile manipulation, w...
147
click to vote
SMA
2005
ACM
16 years 21 hour ago
2005
ACM
In an industry project with a German car manufacturer we are faced with the challenge of placing a maximum number of uniform rigid rectangular boxes in the interior of a car trunk...
183
click to vote
ICWE
2005
Springer
15 years 12 months ago
2005
Springer
As the Web becomes a platform for implementing complex B2C and B2B applications, there is a need to extend Web conceptual modeling to process-centric applications. In this context,...
159
click to vote
DAC
2004
ACM
15 years 12 months ago
2004
ACM
Leakage current has become a stringent constraint in today’s processor designs in addition to traditional constraints on frequency. Since leakage current exhibits a strong inver...
183
click to vote
SIGSOFT
2004
ACM
15 years 12 months ago
2004
ACM
Rapid advances in wireless networking technologies have enabled mobile devices to be connected anywhere and anytime. While roaming, applications on these devices dynamically disco...