1740 search results - page 20 / 348 » Minimal structures for stories |
SAT
2010
Springer
14 years 1 months ago
2010
Springer
Some SAT-solvers are equipped with the ability to produce resolution proofs for problems which are unsatisfiable. Such proofs are used in a variety of contexts, including finding...
ECAL
2007
Springer
14 years 4 months ago
2007
Springer
It is well known that the evolution of cooperative behaviour is dependant upon certain environmental conditions. One such condition that has been extensively studied is the use of ...
EDBT
2000
ACM
14 years 1 months ago
2000
ACM
In this paper we present the Slim-tree, a dynamic tree for organizing metric datasets in pages of fixed size. The Slim-tree uses the "fat-factor" which provides a simple ...
ICIP
2000
IEEE
14 years 11 months ago
2000
IEEE
In this paper, we present a system developed for content-based broadcasted news video browsing for home users. There are three main factors that distinguish our work from other si...
CSCW
2010
ACM
14 years 4 months ago
2010
ACM
The schema or mental structures that people apply towards other people has been shown to influence the way people cooperate with others. Schemas evoke behavioral scripts. In this ...