Sciweavers

147 search results - page 25 / 30
» Time-Critical Action: Representations and Application
Sort
View
IQ
2007
13 years 9 months ago
A Flexible And Generic Data Quality Metamodel
: DQ metadata can be stored in a Metadata Repository (MDR). The structure of the MDR should be carefully defined to ensure a maximum amount of flexibility, generality and ease of u...
David Becker, William McMullen, Kevin Hetherington...
FORTE
2004
13 years 9 months ago
Witness and Counterexample Automata for ACTL
Witnesses and counterexamples produced by model checkers provide a very useful source of diagnostic information. They are usually returned in the form of a single computation path ...
Robert Meolic, Alessandro Fantechi, Stefania Gnesi
AAAI
2000
13 years 9 months ago
Back to the Future for Consistency-Based Trajectory Tracking
Given a model of a physical process and a sequence of commands and observations received over time, the task of an autonomous controller is to determine the likely states of the p...
James Kurien, P. Pandurang Nayak
FSKD
2010
Springer
270views Fuzzy Logic» more  FSKD 2010»
13 years 8 months ago
Ontology-based knowledge discovery and sharing in bioinformatics and medical informatics: A brief survey
Abstract--Worldwide health scientists are producing, accessing, analyzing, integrating, and storing massive amounts of digital medical data daily, through observation, experimentat...
Jingshan Huang, Dejing Dou, Lei He, Pat Hayes, Jia...
COLING
2002
13 years 7 months ago
Automatic Semantic Grouping in a Spoken Language User Interface Toolkit
With the rapid growth of real application domains for NLP systems, there is a genuine demand for a general toolkit from which programmers with no linguistic knowledge can build sp...
Hassan Alam, Hua Cheng, Rachmat Hartono, Aman Kuma...