1284 search results - page 70 / 257 » On Helping and Interactive Proof Systems |
MSOM
2010
13 years 8 months ago
2010
: In a decentralized assembly supply chain, independent suppliers produce a set of complementary components from which an assembler assembles a final product and sells it to the ma...
ECAI
2004
Springer
14 years 1 months ago
2004
Springer
We describe a flexible approach to automated reasoning, where non-theorems can be automatically altered to produce proved results which are related to the original. This is achieve...
CHI
2008
ACM
14 years 10 months ago
2008
ACM
Temporal trajectories can represent the complex mappings between story time and clock time that are to be found in shared interactive narratives such as computer games and interac...
SIGGRAPH
1997
ACM
14 years 2 months ago
1997
ACM
This paper describes the integration of the Berkeley Architectural Walkthrough Program with the National Institute of Standards and Technology’s CFAST fire simulator. The integ...
SIGIR
2003
ACM
14 years 3 months ago
2003
ACM
Much attention has been paid to the relative effectiveness of interactive query expansion versus automatic query expansion. Although interactive query expansion has the potential ...