2607 search results - page 254 / 522 » On the Architecture of System Verification Environments |
198
click to vote
ASPLOS
2008
ACM
15 years 8 months ago
2008
ACM
The constant race for faster and more powerful CPUs is drawing to a close. No longer is it feasible to significantly increase the speed of the CPU without paying a crushing penalt...
144
click to vote
APSEC
2003
IEEE
15 years 12 months ago
2003
IEEE
Current IP phone architectures which bring phone services to a distributed open environment are eraltively static and do not scale well. An IP phone environment should be more dyn...
179
click to vote
AAAI
2000
15 years 8 months ago
2000
As applications for artificially intelligent agents increase in complexity we can no longer rely on clever heuristics and hand-tuned behaviors to develop their programming. Even t...
198
click to vote
ICCV
2005
IEEE
16 years 8 months ago
2005
IEEE
We present an object recognition algorithm that uses model and image line features to locate complex objects in high clutter environments. Finding correspondences between model an...
173
click to vote
HICSS
2007
IEEE
16 years 29 days ago
2007
IEEE
The subject of digital forensics can be quite challenging. Digital forensics is in its infancy and teaching digital forensics includes the techniques as well as the tools that ass...