269 search results - page 35 / 54 » Computational soundness of observational equivalence |
ACMDIS
2006
ACM
14 years 6 days ago
2006
ACM
Randomness is being harnessed in the design of some interactive systems. This is observed in random blogs, random web searching, and in particular Apple's iPod Shuffle. Yet t...
CVPR
2004
IEEE
14 years 10 months ago
2004
IEEE
The study of 2D shapes and their similarities is a central problem in the field of vision. It arises in particular from the task of classifying and recognizing objects from their ...
FOSSACS
2009
Springer
14 years 3 months ago
2009
Springer
Reactive systems, proposed by Leifer and Milner, represent a meta-framework aimed at deriving behavioral congruences for those specification formalisms whose operational semantics...
TEI
2010
ACM
14 years 1 months ago
2010
ACM
In the world of interactive art, very few pieces have a permanent, physical outcome. In response to this observation, the author developed two “cobots”, or collaborative robot...
MOBISYS
2011
ACM
12 years 11 months ago
2011
ACM
We introduce a new technique for determining a mobile phone’s indoor location even when Wi-Fi infrastructure is unavailable or sparse. Our technique is based on a new ambient so...