4536 search results - page 707 / 908 » Contention-Sensitive Data Structures and Algorithms |
101
click to vote
DAGSTUHL
1993
15 years 3 months ago
1993
In this paper we present a type system for graph rewrite systems: uniqueness typing. It employs usage information to deduce whether an object is `unique' at a certain moment,...
132
click to vote
CADE
2010
Springer
15 years 3 months ago
2010
Springer
In order to support the verification of programs, verification tools such as ACL2 or Isabelle try to extract suitable induction axioms from the definitions of terminating, recursiv...
128
Voted
CVPR
2009
IEEE
15 years 3 months ago
2009
IEEE
We present a system that combines multiple visual navigation techniques to achieve GPS-denied, non-line-of-sight SLAM capability for heterogeneous platforms. Our approach builds o...
107
Voted
CORR
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. Random intersection graphs (RIGs) are an important random structure with algorithmic applications in social networks, epidemic networks, blog readership, and wireless sen...
120
click to vote
DKE
2007
15 years 2 months ago
2007
One of the main factors for the knowledge discovery success is related to the comprehensibility of the patterns discovered by applying data mining techniques. Amongst which we can...