1701 search results - page 192 / 341 » Computer Science and State Machines |
555
Voted
Book
It's a complete robotic navigation cookbook!
"This book surveys the state of the art in sensors, systems, methods and technologies utilized by a mobile robot to determin...
ICALP
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. We describe a simple, conceptual forward analysis procedure for complete WSTS S. This computes the clover of a state s0, i.e., a finite description of the closure of the ...
ICSE
2003
IEEE-ACM
15 years 10 months ago
2003
IEEE-ACM
Benchmarks have been used in computer science to compare the performance of computer systems, information retrieval algorithms, databases, and many other technologies. The creatio...
85
Voted
OZCHI
2009
ACM
15 years 5 months ago
2009
ACM
This paper reflects on the HCI community’s current and potential contributions to the problem of promoting physical activity. It does so by first presenting a conceptual overvie...
ICALP
2007
Springer
15 years 4 months ago
2007
Springer
We consider the problem of constructing efficient locally decodable codes in the presence of a computationally bounded adversary. Assuming the existence of one-way functions, we c...