6608 search results - page 1295 / 1322 » On the Completeness of Model Checking |
171
click to vote
AAAI
2008
15 years 5 months ago
2008
My thesis aims to contribute towards building autonomous agents that are able to understand their surrounding environment through the use of both audio and visual information. To ...
113
Voted
NSDI
2007
15 years 5 months ago
2007
The network and distributed systems research communities have an increasing need for “replayable” research, but our current experimentation resources fall short of reaching th...
143
click to vote
AISB
2008
Springer
15 years 5 months ago
2008
Springer
According to the traditional conception of the mind, semantical content is perhaps the most important feature distinguishing mental from non-mental systems. And this traditional co...
143
Voted
ASPDAC
2008
ACM
15 years 5 months ago
2008
ACM
ACT Benchmarks are an immensely useful tool in performing research since they allow for rapid and clear comparison between different approaches to solving CAD problems. Recent expe...
166
Voted
DAC
2006
ACM
15 years 5 months ago
2006
ACM
With the growing complexity in consumer embedded products and the improvements in process technology, Multi-Processor SystemOn-Chip (MPSoC) architectures have become widespread. T...