2685 search results - page 381 / 537 » Modeling task experience in user assistance systems |
WWW
2007
ACM
14 years 10 months ago
2007
ACM
A number of existing information retrieval systems propose the notion of query context to combine the knowledge of query and user into retrieval to reveal the most exact descripti...
SIGGRAPH
1995
ACM
14 years 25 days ago
1995
ACM
We have developed a system for interactive manipulation of shading parameters for three dimensional rendering. The system takes as input user-defined shaders, written in a subset ...
FROCOS
2011
Springer
12 years 9 months ago
2011
Springer
Abstract. Isabelle/HOL is a popular interactive theorem prover based on higherorder logic. It owes its success to its ease of use and powerful automation. Much of the automation is...
CW
2005
IEEE
14 years 2 months ago
2005
IEEE
Agents are systems capable of perceiving their environment through sensors, reasoning about their sensory input using some characteristic reasoning process and acting in their env...
ER
1998
Springer
14 years 1 months ago
1998
Springer
The practical implementation and use of a mediator for fixed income securities analysis demonstrated the potential for extending the application of conceptual modeling from the sys...