315 search results - page 23 / 63 » Reasoning about Assignments in Recursive Data Structures |
140
click to vote
IJCAI
1997
15 years 3 months ago
1997
High-level understanding of data must involve the interplay between substantial prior knowledge with geometric and statistical techniques. Our approach emphasizes the recovery of ...
104
click to vote
AAAI
1992
15 years 3 months ago
1992
An intelligent agent uses known facts, including statistical knowledge, to assign degrees of belief to assertions it is uncertain about. We investigate three principled techniques...
122
click to vote
JUCS
2007
15 years 1 months ago
2007
Abstract: A model (consisting of rv-systems), a core programming language (for developing rv-programs), several specification and analysis techniques appropriate for modeling, pro...
120
click to vote
VMCAI
2010
Springer
15 years 11 months ago
2010
Springer
Abstract. Logics that involve collections (sets, multisets), and cardinality constraints are useful for reasoning about unbounded data structures and concurrent processes. To make ...
131
click to vote
TPDS
1998
15 years 1 months ago
1998
—Increasingly larger data sets are being stored in networked architectures. Many of the available data structures are not easily amenable to parallel realizations. Hashing scheme...