3909 search results - page 607 / 782 » Extreme Model Checking |
182
click to vote
PAMI
2007
15 years 6 months ago
2007
—We present a real-time algorithm which can recover the 3D trajectory of a monocular camera, moving rapidly through a previously unknown scene. Our system, which we dub MonoSLAM,...
177
click to vote
SAC
2008
ACM
15 years 5 months ago
2008
ACM
Within aspect-oriented programming, the quality of aspect code depends on the readability and expressiveness of pointcut languages. Readability is increased by using specialized, ...
151
click to vote
SIGMOD
2008
ACM
15 years 5 months ago
2008
ACM
In fall of 2004, we met Jim Gray and began to converse about the data needs of ocean scientists. The conversations ultimately led to the development of a unique portal for explori...
201
click to vote
INFOCOM
2010
IEEE
15 years 4 months ago
2010
IEEE
—It is a well known fact that user-chosen passwords are somewhat predictable: by using tools such as dictionaries or probabilistic models, attackers and password recovery tools c...
160
click to vote
KES
2010
Springer
15 years 4 months ago
2010
Springer
While computation of biological information takes center stage in today’s research, knowledge-based query processing in biological databases has not gained much attention. The co...