2697 search results - page 403 / 540 » Developing Gestural Input |
143
Voted
AIPR
2003
IEEE
15 years 7 months ago
2003
IEEE
This paper describes an approach for using several levels of data fusion in the domain of autonomous off-road navigation. We are focusing on outdoor obstacle detection, and we pre...
129
click to vote
ARITH
2003
IEEE
15 years 7 months ago
2003
IEEE
Studying floating point arithmetic, authors have shown that the implemented operations (addition, subtraction, multiplication, division and square root) can compute a result and a...
140
Voted
CGO
2003
IEEE
15 years 7 months ago
2003
IEEE
In this paper, we describe a novel execution environment for Java programs that substantially improves execution performance by incorporating both on-line and off-line profile inf...
143
click to vote
CHARME
2003
Springer
15 years 7 months ago
2003
Springer
In formal verification, we verify that a system is correct with respect to a specification. Even when the system is proven to be correct, there is still a question of how complete ...
125
click to vote
FPGA
2000
ACM
15 years 7 months ago
2000
ACM
In this paper, we study the technology mapping problem for a novel FPGA architecture that is based on k-input single-output PLA-like cells, or, k/m-macrocells. Each cell in this a...