Sciweavers

8099 search results - page 563 / 1620
» Higher-Order Task Models
Sort
View
ARTMED
2006
85views more  ARTMED 2006»
15 years 7 months ago
Using ontologies linked with geometric models to reason about penetrating injuries
Medical assessment of penetrating injuries is a difficult and knowledge-intensive task. Physical examination and computed tomographic (CT) imaging data must be combined with detai...
Daniel L. Rubin, Olivier Dameron, Yasser Bashir, D...
JMM2
2006
126views more  JMM2 2006»
15 years 7 months ago
Modeling Augmented Reality User Interfaces with SSIML/AR
Augmented Reality (AR) technologies open up new possibilities especially for task-focused domains such as assembly and maintenance. However, it can be noticed that there is still a...
Arnd Vitzthum, Heinrich Hussmann
ASE
2005
91views more  ASE 2005»
15 years 7 months ago
Deviation Analysis: A New Use of Model Checking
Inaccuracies, or deviations, in the measurements of monitored variables in a control system are facts of life that control software must accommodate. Deviation analysis can be used...
Mats Per Erik Heimdahl, Yunja Choi, Michael W. Wha...
JUCS
2007
146views more  JUCS 2007»
15 years 7 months ago
Ontology and Grammar of the SOPHIE Choreography Conceptual Framework - An Ontological Model for Knowledge Management
: Ontologies have been recognized as a fundamental infrastructure for advanced approaches to Knowledge Management (KM) automation in SOA. Building services communicate with each ot...
Sinuhé Arroyo
TWC
2008
145views more  TWC 2008»
15 years 7 months ago
Robust Optimization Models for Energy-Limited Wireless Sensor Networks under Distance Uncertainty
The distance between nodes in a wireless sensor network (WSN) is an important factor in the performance that can be extracted from the network for many tasks. However, the distanc...
Wei Ye, Fernando Ordóñez