6020 search results - page 951 / 1204 » A New Approach to Model Counting |
180
click to vote
ICRA
2008
IEEE
16 years 27 days ago
2008
IEEE
For complex robotic tasks (manipulation, locomotion, haptics, ...), the lack of knowledge of precise interaction models, the difficulties to precisely measure the task associated ...
229
click to vote
IV
2008
IEEE
16 years 26 days ago
2008
IEEE
This article is addressing a recurrent problem in biology: mining newly built large scale networks. Our approach consists in comparing these new networks to well known ones. The v...
174
click to vote
EUROSYS
2010
ACM
15 years 11 months ago
2010
ACM
A complex software system typically has a large number of objects in the memory, holding references to each other to implement an object model. Deciding when the objects should be...
173
click to vote
RT
1997
Springer
15 years 10 months ago
1997
Springer
: The advent of computer augmented reality (CAR), in which computer generated objects mix with real video images, has resulted in many interesting new application domains. Providin...
174
click to vote
SIMUTOOLS
2008
15 years 8 months ago
2008
Embedded Peer-to-Peer Systems (EP2P) represent a new challenge in the development of software for distributed systems. The main objective of the SMEPP (Secure Middleware for Embed...