19798 search results - page 251 / 3960 » Is Structural Subtyping Useful |
98
Voted
CORR
2007
Springer
15 years 22 days ago
2007
Springer
— In this paper, we present a complete analytical study of dynamic membership (aka churn) in structured peer-to-peer networks. We use a master-equation-based approach, which is u...
122
click to vote
SPE
2008
15 years 21 days ago
2008
composed of various graphs linked together by relations of abstraction/refinement. The new structure is useful for representing information that can be described at t levels of abs...
112
Voted
BMVC
2010
14 years 10 months ago
2010
Whereas most existing action recognition methods require computationally demanding feature extraction and/or classification, this paper presents a novel real-time solution that ut...
100
Voted
VLSID
2007
IEEE
16 years 1 months ago
2007
IEEE
Boolean Satisfiability is seeing increasing use as a decision procedure in Electronic Design Automation (EDA) and other domains. Most applications encode their domain specific cons...
112
Voted
ICCD
2003
IEEE
15 years 9 months ago
2003
IEEE
Functional symmetries provide significant benefits for multiple tasks in synthesis and verification. Many applications require the manual specification of symmetries using spe...