5550 search results - page 950 / 1110 » Different Approaches to Proof Systems |
200
click to vote
IROS
2006
IEEE
16 years 19 days ago
2006
IEEE
— Scan-matching based on data from a laser scanner is frequently used for mapping and localization. This paper presents an scan-matching approach based instead on visual informat...
166
click to vote
WMTE
2006
IEEE
16 years 18 days ago
2006
IEEE
Mobile learning has a lot of potential for supporting learning in situations such as in a museum, at a tourist sight or when exploring biological phenomena at a riverside. There l...
182
click to vote
MOBICOM
2006
ACM
16 years 17 days ago
2006
ACM
Indoor ranging and location in WLAN is possible through obtaining Round-Trip-Time (RTT) measurements at data link level. This procedure allows using the existing IEEE 802.11 WLAN ...
193
click to vote
MSR
2006
ACM
16 years 17 days ago
2006
ACM
Versioned and bug-tracked software systems provide a huge amount of historical data regarding source code changes and issues management. In this paper we deal with impact analysis...
165
click to vote
SENSYS
2006
ACM
16 years 17 days ago
2006
ACM
Science is increasingly driven by data collected automatically from arrays of inexpensive sensors. The collected data volumes require a different approach from the scientists'...