10715 search results - page 1916 / 2143 » From Tests to Proofs |
140
click to vote
IROS
2007
IEEE
16 years 29 days ago
2007
IEEE
— In this paper we present a systematic study of the performance of seven different configurations of GPS on a moving vehicle using three different GPS receivers. The seven diff...
170
click to vote
KBSE
2007
IEEE
16 years 28 days ago
2007
IEEE
Completing software maintenance and evolution tasks for today’s large, complex software systems can be difficult, often requiring considerable time to understand the system well...
197
click to vote
AIRWEB
2007
Springer
16 years 25 days ago
2007
Springer
This paper focuses on spam blog (splog) detection. Blogs are highly popular, new media social communication mechanisms. The presence of splogs degrades blog search results as well...
166
click to vote
ESORICS
2007
Springer
16 years 25 days ago
2007
Springer
A number of network covert channels have been proposed recently that may have important ramifications for Internet security and privacy. However, they could become ineffective in...
172
click to vote
ICMI
2007
Springer
16 years 24 days ago
2007
Springer
Abstract— This paper presents a tactile language for controlling a robot through its artificial skin. This language greatly improves the multimodal human-robot communication by ...