747 search results - page 102 / 150 » An Alternative Representation for QBF |
DSD
2006
IEEE
15 years 5 months ago
2006
IEEE
Recently, a number of works have been published on implementing assignment decision diagram models combined with SAT methods to address register-transfer level test pattern genera...
ICRA
2006
IEEE
15 years 5 months ago
2006
IEEE
— A robot exploring an environment can estimate its own motion and the relative positions of features in the environment. Simultaneous Localization and Mapping (SLAM) algorithms ...
ECLIPSE
2006
ACM
15 years 5 months ago
2006
ACM
The goal of a clone detection tool is to identify sections of code that are duplicated in a program. The result of the detection is presented in some manner for the user to view, ...
SOFTVIS
2006
ACM
15 years 5 months ago
2006
ACM
The analysis of the runtime behavior of a software system yields vast amounts of information, making accurate interpretations difficult. Filtering or compression techniques are o...
DSN
2005
IEEE
15 years 5 months ago
2005
IEEE
User interfaces form a critical coupling between humans and computers. When the interface fails, the user fails, and the mission is lost. For example, in computer security applica...