4460 search results - page 731 / 892 » Formal methods for interactive systems |
124
click to vote
IJCAI
2001
15 years 5 months ago
2001
Role-limiting approaches using explicit theories of problem-solving have been successful for acquiring knowledge from domain experts1 . However most systems using this approach do...
133
click to vote
AI
2000
Springer
15 years 3 months ago
2000
Springer
We investigate the improvement of theorem proving by reusing previously computed proofs. We have developed and implemented the PLAGIATOR system which proves theorems by mathematic...
140
Voted
INTR
2007
15 years 3 months ago
2007
This paper proposes a hybrid approach for managing knowledge within companies based on communication between people. In addition to traditional Knowledge Management Systems our co...
166
click to vote
KBSE
2010
IEEE
15 years 2 months ago
2010
IEEE
Named constants are used heavily in operating systems code, both as internal flags and in interactions with devices. Decision making within an operating system thus critically de...
219
click to vote
CVPR
2011
IEEE
14 years 7 months ago
2011
IEEE
Existing eye gaze tracking systems typically require an explicit personal calibration process in order to estimate certain person-specific eye parameters. For natural human compu...