6020 search results - page 845 / 1204 » A New Approach to Model Counting |
162
click to vote
IPPS
2009
IEEE
16 years 1 months ago
2009
IEEE
Experimental validation and testing of solutions designed for heterogeneous environment is a challenging issue. Wrekavoc is a tool for performing such validation. It runs unmodiď¬...
156
click to vote
IPPS
2009
IEEE
16 years 1 months ago
2009
IEEE
Although processors become massively multicore and therefore new programming models mix message passing and multi-threading, the effects of threads on communication libraries rema...
178
click to vote
IROS
2009
IEEE
16 years 1 months ago
2009
IEEE
— This paper presents a high speed visual tracking method based on non simultaneous subimages acquisition. This method is formulated as a virtual visual servoing scheme. The sequ...
165
click to vote
IROS
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract— Future retinal therapies will be partially automated in order to increase the surgeons’ ability to operate near the sensitive structure of the human eye retina. Untet...
196
click to vote
ISMAR
2009
IEEE
16 years 1 months ago
2009
IEEE
This paper presents a new user interface methodology for Spatial Augmented Reality systems. The methodology is based on a set of physical tools that are overloaded with logical fu...