11436 search results - page 486 / 2288 » Modeling Real Reasoning |
173
click to vote
MOBISYS
2008
ACM
16 years 6 months ago
2008
ACM
Using 802.11 concurrently for communications and positioning is problematic, especially if location-based services (e.g., indoor navigation) are concurrently executed with real-ti...
194
click to vote
INFOCOM
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract—Network coding is emerging as a promising alternative to traditional content distribution approaches in P2P networks. By allowing information mixture in peers, it simpli...
163
click to vote
SCAM
2008
IEEE
16 years 22 days ago
2008
IEEE
Decompiling low-level code to a high-level intermediate representation facilitates the development of analyzers, model checkers, etc. which reason about properties of the low-leve...
167
click to vote
BIBE
2007
IEEE
16 years 21 days ago
2007
IEEE
Abstract—Recent improvements in high-throughput genotyping technology make possible genome-wide association studies and status prediction (classification) for common complex dis...
180
click to vote
IROS
2006
IEEE
16 years 11 days ago
2006
IEEE
Abstract— Mobile robots need maps or other forms of geometric information about the environment to navigate. The mobility sensors (LADAR, stereo, etc.) on these robotic vehicles ...