1284 search results - page 23 / 257 » On Helping and Interactive Proof Systems |
HCI
2009
13 years 5 months ago
2009
This research aims to propose a design management system for helping designer to make arrangement of the furniture in a film shooting studio. The main issue is that furniture has i...
ECAI
2000
Springer
13 years 12 months ago
2000
Springer
We present in this paper a method to insert new concepts in an existing information extraction system based on a conceptual graph architecture. We use verb patterns as conceptual s...
ICFP
2006
ACM
14 years 7 months ago
2006
ACM
I report on an experience using the Coq proof assistant to develop a program verification tool with a machine-checkable proof of full correctness. The verifier is able to prove me...
ENTCS
2008
13 years 7 months ago
2008
HOL-TestGen is a specification and test case generation environment extending the interactive theorem prover Isabelle/HOL. The HOL-TestGen method is two-staged: first, the origina...
HICSS
1999
IEEE
13 years 12 months ago
1999
IEEE
Scenarios of human-computer interaction help us to understand and to create computer systems and applications as artifacts of human activity