4600 search results - page 804 / 920 » Presenting the cyclotactor project |
SEFM
2007
IEEE
15 years 7 months ago
2007
IEEE
of abstract interpretations in formal methods It is always very satisfying to hear about a theory, in the case at hand it is the theory of abstract interpretations, that explains i...
122
click to vote
SEUS
2007
IEEE
15 years 7 months ago
2007
IEEE
In this paper we present a distributed Hardware-in-the-Loop (HiL) simulation approach that supports the verification and validation activities in an integrated architecture as rec...
92
Voted
SMI
2007
IEEE
15 years 7 months ago
2007
IEEE
This paper presents a new multiview alignment algorithm that performs both the coarse and fine alignment of unordered sets of range scans. Our algorithm selects quadruples of ran...
104
Voted
TABLETOP
2007
IEEE
15 years 7 months ago
2007
IEEE
A growing body of research is investigating the use of tabletop displays, in particular to support collaborative work. People often interact directly with these displays, typicall...
100
Voted
VTC
2007
IEEE
15 years 7 months ago
2007
IEEE
—In this paper, we present a positioning and tracking scheme based on adaptive weighted interpolation and Kalman filtering for wireless sensor networks. The proposed positioning ...