Sciweavers

1124 search results - page 100 / 225
» Refined quorum systems
Sort
View
VL
2002
IEEE
155views Visual Languages» more  VL 2002»
15 years 11 months ago
Virtual Reality Interaction: The Characteristic Pattern Approach
We merge the Pictorial Computing Laboratory (PCL) approach to WIMP interaction with the Interaction Locus approach to structuring visual spaces as a step toward the definition of ...
Augusto Celentano, Daniela Fogli, Piero Mussio, Fa...
FLAIRS
2008
15 years 8 months ago
Neptune: A Mixed-Initiative Environment for Planning and Scheduling
We describe the design of a user-centric, integrated planning and scheduling system that assists the user in exploring the rich space of plans and associated resource assignment o...
Pauline M. Berry, Blazej Bulka, Bart Peintner, Mar...
ASM
2008
ASM
15 years 8 months ago
FDIR Architectures for Autonomous Spacecraft: Specification and Assessment with Event-B
On-board Fault Detection, Isolation and Recovery (FDIR) systems are considered to ensure the safety and to increase the autonomy of spacecrafts. They shall be carefully designed an...
Jean-Charles Chaudemar, Charles Castel, Christel S...
ACL
1998
15 years 7 months ago
Evaluating a Focus-Based Approach to Anaphora Resolution
We present an approach to anaphora resolution based on a focusing algorithm, and implemented within an existing MUC (Message Understanding Conference) Information Extraction syste...
Saliha Azzam, Kevin Humphreys, Robert J. Gaizauska...
PDSE
1998
131views more  PDSE 1998»
15 years 7 months ago
A Formally Founded Description Technique for Business Processes
As a means of modeling typical system behavior, we present a description technique for business processes derived from data flow nets and provide it with a formal semantics based ...
Veronika Thurner