4480 search results - page 316 / 896 » Prototyping Completion with Constraints Using Computational ... |
173
click to vote
AAAI
1996
15 years 8 months ago
1996
We propose an agent-based framework for assisting and simplifying person-to-person communication for information gathering tasks. As an example, we focus on locating experts for a...
143
click to vote
BIRTHDAY
2010
Springer
15 years 4 months ago
2010
Springer
We define the notions of a canonical inference rule and a canonical constructive system in the framework of strict single-conclusion Gentzen-type systems (or, equivalently, natural...
174
click to vote
ARITH
2005
IEEE
16 years 8 days ago
2005
IEEE
We propose a new number representation and arithmetic for the elements of the ring of integers modulo p. The socalled Polynomial Modular Number System (PMNS) allows for fast polyn...
189
click to vote
APCHI
2004
IEEE
15 years 10 months ago
2004
IEEE
Abstract. Supporting work activities in healthcare is highly complex and challenging. This paper outlines the findings from a usability study of a commercial PC based electronic pa...
169
click to vote
FLAIRS
2010
15 years 4 months ago
2010
How could computer games be used to augment training for fighter pilots? This paper is aimed at providing one answer to this research question. Three current methods of training f...