Sciweavers

9989 search results - page 31 / 1998
» A CLP Approach to Modelling Systems
Sort
View
159
Voted
CORR
2010
Springer
117views Education» more  CORR 2010»
15 years 1 months ago
Evaluating Modelling Approaches for Medical Image Annotations
Abstract. Information system designers face many challenges w.r.t. selecting appropriate semantic technologies and deciding on a modelling approach for their system. However, there...
Jasmin Opitz, Bijan Parsia, Ulrike Sattler
141
Voted
SIGSOFT
2010
ACM
15 years 1 months ago
From requirements to partial behavior models: an iterative approach to incremental specification refinement
In this thesis, I will improve the state-of-the-art for capturing, analyzing, and refining functional requirements by providing support for synthesizing, analyzing, and refining M...
Ivo Krka
140
Voted
AAAI
2011
14 years 3 months ago
Global Seismic Monitoring: A Bayesian Approach
The automated processing of multiple seismic signals to detect and localize seismic events is a central tool in both geophysics and nuclear treaty verification. This paper report...
Nimar S. Arora, Stuart Russell, Paul Kidwell, Erik...
110
Voted
ICPR
2004
IEEE
16 years 4 months ago
A System Identification Approach for Video-based Face Recognition
The paper poses video-to-video face recognition as a dynamical system identification and classification problem. Video-to-video means that both gallery and probe consists of video...
Amit K. Roy Chowdhury, Gaurav Aggarwal, Rama Chell...