4325 search results - page 51 / 865 » Incremental computation with names |
125
Voted
FOSSACS
2004
Springer
15 years 4 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...
93
Voted
WINE
2010
Springer
14 years 10 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...
123
click to vote
CVPR
2005
IEEE
16 years 2 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...
92
Voted
DAC
2009
ACM
16 years 1 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
16 years 27 days 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...