3053 search results - page 46 / 611 » Structured Objects: Modeling and Reasoning |
DASFAA
2007
IEEE
15 years 7 months ago
2007
IEEE
As large-scale sensor networks are being deployed with the objective of collecting quality data to support user queries and decision-making, the role of a scalable query model beco...
100
click to vote
NIPS
2001
15 years 2 months ago
2001
To find out how the representations of structured visual objects depend on the co-occurrence statistics of their constituents, we exposed subjects to a set of composite images wit...
115
Voted
AAAI
1990
15 years 2 months ago
1990
A case-based reasoner can frequently benefit from using pieces of multiple previous cases in the course of solving a single problem. In our model, case pieces, called snippets, ar...
137
click to vote
IFIP
2010
Springer
14 years 8 months ago
2010
Springer
Abstract. Task-structured probabilistic input/output automata (taskPIOAs) are concurrent probabilistic automata that, among other things, have been used to provide a formal framewo...
112
click to vote
CADE
2010
Springer
15 years 2 months ago
2010
Springer
Beluga is an environment for programming and reasoning about formal systems given by axioms and inference rules. It implements the logical framework LF for specifying and prototypi...