Sciweavers

774 search results - page 89 / 155
» Experiments with an Agent-Oriented Reasoning System
Sort
View
ESOP
2007
Springer
14 years 2 months ago
Interprocedurally Analysing Linear Inequality Relations
In this paper we present an alternative approach to interprocedurally g linear inequality relations. We propose an abstraction of the effects of procedures through convex sets of t...
Helmut Seidl, Andrea Flexeder, Michael Petter
HAPTICS
2005
IEEE
14 years 1 months ago
Improving User Comfort in Haptic Virtual Environments through Gravity Compensation
Our experience with a Haptic Workstation™ has shown that this device is uncomfortable to use during long sessions. The main reason is the uncomfortable posture of the arms, whic...
Renaud Ott, Mario Gutiérrez, Daniel Thalman...
RE
2001
Springer
14 years 11 days ago
Goal-Oriented Requirements Engineering: A Guided Tour
pture, at different levels of abstraction, the various objectives the system under consideration should achieve. Goal-oriented requirements engineering is concerned with the use o...
Axel van Lamsweerde
IEAAIE
1994
Springer
14 years 1 days ago
Large-Scale Machine Translation: An Interlingua Approach
In this paper we discuss the design and development of an interlingua for a large-scale MT project. We also discuss how the resulting KANT interlingua constrains complexity, suppo...
Deryle W. Lonsdale, Alexander Franz, John R. R. Le...
AAAI
2008
13 years 10 months ago
A Demonstration of the RADAR Personal Assistant
Email clients were not designed to serve as a task management tools, but a high volume of task-relevant information in email leads many people to use email clients for this purpos...
Andrew Faulring, Brad A. Myers, Ken Mohnkern, Mich...