4480 search results - page 206 / 896 » Prototyping Completion with Constraints Using Computational ... |
181
click to vote
ICNSC
2007
IEEE
16 years 23 days ago
2007
IEEE
— A new velocity and position sensor concept for manned and unmanned ground vehicles is proposed. The idea of this system is to temporarily place artificial markers in the enviro...
182
click to vote
GG
2010
Springer
15 years 7 months ago
2010
Springer
In recent years, a research thread focused on the use of the unfolding semantics for verification purposes. This started with a paper by McMillan, which devises an algorithm for co...
163
click to vote
VISUALIZATION
2003
IEEE
15 years 11 months ago
2003
IEEE
We present a haptic rendering technique that uses directional constraints to facilitate enhanced exploration modes for volumetric datasets. The algorithm restricts user motion in ...
158
click to vote
IPTPS
2005
Springer
15 years 12 months ago
2005
Springer
Of the many P2P file-sharing prototypes in existence, BitTorrent is one of the few that has managed to attract millions of users. BitTorrent relies on other (global) components f...
141
click to vote
DATE
2010
IEEE
15 years 11 months ago
2010
IEEE
—The use of commercial electronic components is increasingly attractive for the space domain. This paper discusses the current degree of use of these components in space avionics...