5326 search results - page 887 / 1066 » On what we can ensure |
159
click to vote
LICS
2007
IEEE
16 years 22 days ago
2007
IEEE
We consider two-player games played over finite state spaces for an infinite number of rounds. At each state, the players simultaneously choose moves; the moves determine a succ...
197
click to vote
IROS
2006
IEEE
16 years 14 days ago
2006
IEEE
— We propose to classify the behaviors of a mobile robot thanks to topological methods as an alternative to metric ones. To do so, we adapt an analysis scheme from Physics of non...
175
click to vote
ACMSE
2006
ACM
16 years 13 days ago
2006
ACM
Software researchers have already developed static code security checkers to parse through and scan source code files, looking for security vulnerabilities [8, 9]. What about exec...
163
click to vote
ICMI
2005
Springer
15 years 12 months ago
2005
Springer
To overcome the limitations of current technologies for remote collaboration, we propose a system that changes a video feed based on task properties, people’s actions, and messa...
172
click to vote
FPGA
2004
ACM
15 years 12 months ago
2004
ACM
The speedup over a microprocessor that can be achieved by implementing some programs on an FPGA has been extensively reported. This paper presents an analysis, both quantitative a...