8587 search results - page 167 / 1718 » Interactive dynamic abstraction |
171
click to vote
CADE
2001
Springer
16 years 4 months ago
2001
Springer
Abstract. JProver is a first-order intuitionistic theorem prover that creates sequent-style proof objects and can serve as a proof engine in interactive proof assistants with expre...
140
click to vote
IJCNLP
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. One important component of interactive systems is the generation component. While template-based generation is appropriate in many cases (for example, task oriented spoke...
117
click to vote
ISRR
2005
Springer
15 years 10 months ago
2005
Springer
d a human. The meta proto-symbols are a little more abstract analogy of the proto-symbols and recognize/generate the relationship of the two. A hypothesis is then proposed as the p...
140
click to vote
ASM
2004
ASM
15 years 10 months ago
2004
ASM
For a while it seemed possible to pretend that all interaction between an algorithm and its environment occurs inter-step, but not anymore. Andreas Blass, Benjamin Rossman and the ...
129
click to vote
ICCBR
2003
Springer
15 years 9 months ago
2003
Springer
Abstract. This paper describes an innovative usage of Case-Based Reasoning to reduce the high computing cost derived from running large interactive simulation scenarios within the ...