3844 search results - page 519 / 769 » Modular interpreted systems |
146
click to vote
CHI
2001
ACM
16 years 7 months ago
2001
ACM
Historically one of the visions for human-computer symbiosis has been to augment human intelligence and extend people's cognitive abilities. In this paper, we present two vis...
131
click to vote
ICFP
2006
ACM
16 years 6 months ago
2006
ACM
Chez Scheme is now over 20 years old, the first version having been released in 1985. This paper takes a brief look back on the history of Chez Scheme's development to explor...
190
click to vote
PERCOM
2007
ACM
16 years 6 months ago
2007
ACM
The proliferation of radiofrequency identification systems in application domains such as supply chain management requires an IT infrastructure that provides RFID device and data ...
173
click to vote
ICPR
2010
IEEE
16 years 1 months ago
2010
IEEE
For the interpretation of a visual scene, it is important for a robotic system to pay attention to the objects in the scene and segment them from their background. We focus on the...
221
click to vote
TACAS
2010
Springer
16 years 1 months ago
2010
Springer
We study the model checking problem of timed automata based on SAT solving. Our work investigates alternative possibilities for coding the SAT reductions that are based on parallel...