298 search results - page 22 / 60 » Abstract Models of Transfinite Reductions |
106
click to vote
ICRA
2007
IEEE
15 years 6 months ago
2007
IEEE
Abstract— In this paper, simultaneous localisation and mapping (SLAM) is combined with landmark recognition to close large loops in unstructured, outdoor environments. Camera and...
100
Voted
ICCS
2007
Springer
15 years 5 months ago
2007
Springer
Abstract. We consider a physical model of ultrafast evolution of an initial electron distribution in a quantum wire. The electron evolution is described by a quantum-kinetic equati...
123
click to vote
ATVA
2008
Springer
15 years 1 months ago
2008
Springer
Goanna is an industrial-strength static analysis tool used in academia and industry alike to find bugs in C/C++ programs. Unlike existing approaches Goanna uses the off-the-shelf N...
111
click to vote
FASE
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. This paper presents a systematic consideration of the major issues involved in translation of executable design level software specification languages to directly model-c...
ENTCS
2011
14 years 6 months ago
2011
Abstract—We present elements of quantum circuits translations from the (standard) network or circuit model to the one-way one. We present a translation scheme, give an account of...