4325 search results - page 51 / 865 » Incremental computation with names |
115
click to vote
FOSSACS
2004
Springer
15 years 2 months ago
2004
Springer
In the literature there are several CCS-like process calculi differing in the constructs for the specification of infinite behavior and in the scoping rules for channel names. In t...
WINE
2010
Springer
14 years 8 months ago
2010
Springer
In mechanism design, the goal is to create rules for making a decision based on the preferences of multiple parties (agents), while taking into account that agents may behave stra...
104
click to vote
CVPR
2005
IEEE
16 years 1 months ago
2005
IEEE
This paper presents an online learning algorithm to construct from video sequences an image-based representation that is useful for recognition and tracking. For a class of object...
DAC
2009
ACM
15 years 12 months ago
2009
ACM
Metal-only ECO realizes the last-minute design changes by revising the photomasks of metal layers only. This task is challenging because the pre-injected spare cells are limited b...
CHI
2006
ACM
15 years 11 months ago
2006
ACM
In this paper we describe a novel approach for searching large data sets from a mobile phone. Existing interfaces for mobile search require keyword text entry and are not suited f...