Sciweavers

3898 search results - page 416 / 780
» Maintaining Component-Based Systems
Sort
View
AMAST
2006
Springer
15 years 8 months ago
DO-Casl: An Observer-Based Casl Extension for Dynamic Specifications
We present DO-Casl, a new member of the CASL family of specification languages. It is an extension of Casl-Ltl and it supports a methodology for conveniently writing loose specific...
Matteo Dell'Amico, Maura Cerioli
ICINCO
2008
174views Robotics» more  ICINCO 2008»
15 years 7 months ago
Trilateration Localization for Multi-robot Teams
The ability of robots to quickly and accurately localize their neighbors is extremely important for robotic teams. Prior approaches typically rely either on global information prov...
Paul M. Maxim, Suranga Hettiarachchi, William M. S...
LREC
2008
95views Education» more  LREC 2008»
15 years 7 months ago
Using Similarity Measures to Extend the LinGO Lexicon
Deep processing of natural language requires large scale lexical resources that have sufficient coverage at a sufficient level of detail and accuracy (i.e. both recall and precisi...
Lynne J. Cahill
IJCAI
2007
15 years 7 months ago
A Hybrid Ontology Directed Feedback Selection Algorithm for Supporting Creative Problem Solving Dialogues
We evaluate a new hybrid language processing approach designed for interactive applications that maintain an interaction with users over multiple turns. Specifically, we describe ...
Hao-Chuan Wang, Rohit Kumar, Carolyn Penstein Ros&...
MIE
2008
140views Healthcare» more  MIE 2008»
15 years 7 months ago
Clinical Processes in an Innovative Vascular Surgeon Community. Implications for Workflow Modeling
: Objective: To identify factors influencing variations in clinical work in the care of patients with abdominal aortic aneurism. Method: Ethnographic observations of 26 meetings be...
Berit Brattheim, Andreas R. Seim, Arild Faxvaag