Sciweavers

1668 search results - page 301 / 334
» Two Philosophical Applications of Algorithmic Information Th...
Sort
View
CNSR
2005
IEEE
14 years 1 months ago
Shortest-Hop Based Reliable Network Multicast
Although many multicast communication protocols have been recommended at IETF, reliable multicast communications currently rely on programs built at the application layer, e.g., m...
Ka Lun Eddie Law, Daniel Siu
ISMAR
2005
IEEE
14 years 1 months ago
Synchronizing 3D Movements for Quantitative Comparison and Simultaneous Visualization of Actions
In our poster presentation at ISMAR’04 [11], we proposed the idea of an AR training solution including capture and 3D replays of subtle movements. The crucial part missing for r...
Tobias Sielhorst, Tobias Blum, Nassir Navab
GECCO
2004
Springer
14 years 1 months ago
Inflight Rerouting for an Unmanned Aerial Vehicle
The availability of new information can often necessitate rerouting of a vehicle. In [1], the set of nonoverlapping useful vicinities of the reconnaissance sites, S, and the 3D spa...
Amit Agarwal, Meng-Hiot Lim, Maung Ye Win Kyaw, Me...
ROBOCUP
2004
Springer
85views Robotics» more  ROBOCUP 2004»
14 years 1 months ago
Optimizing Precision of Self-Localization in the Simulated Robotics Soccer
We show that all published visual data processing methods for the simulated robotic soccer so far were not utilizing all available information, because they were mainly based on he...
Vadim Kyrylov, David Brokenshire, Eddie Hou
ISMVL
2000
IEEE
134views Hardware» more  ISMVL 2000»
14 years 10 days ago
The 2-SAT Problem of Regular Signed CNF Formulas
Signed conjunctive normal form (signed CNF) is a classical conjunctive clause form using a generalized notion of literal, called signed atom. A signed atom is an expression of the...
Bernhard Beckert, Reiner Hähnle, Felip Many&a...