Sciweavers

1532 search results - page 153 / 307
» The Symbol Grounding Problem
Sort
View
SIGSOFT
1994
ACM
15 years 8 months ago
Foundations of Software Testing: Dependability Theory
Testing is potentially the best grounded part of software engineering, since it deals with the well defined situation of a fixed program and a test (a finite collection of input v...
Richard G. Hamlet
122
Voted
VLDB
1990
ACM
89views Database» more  VLDB 1990»
15 years 8 months ago
Database Updates through Abduction
: The problem of view updatesin deductive databasesis studiedby casting this in anaturally associatedabductive framework.It is shownthat this abductiveapproachdeals successfully, i...
Antonis C. Kakas, Paolo Mancarella
136
Voted
BPM
2006
Springer
115views Business» more  BPM 2006»
15 years 8 months ago
Modeling, Matching and Ranking Services Based on Constraint Hardness
A framework for modeling Semantic Web Service is proposed. It is based on Description Logic (DL), hence it is endowed with a formal semantics and, in addition, it allows for expres...
Claudia d'Amato, Steffen Staab
FGR
2006
IEEE
154views Biometrics» more  FGR 2006»
15 years 8 months ago
Toward an Efficient and Accurate AAM Fitting on Appearance Varying Faces
Automatic extraction of facial feature deformations (either due to identity change or expression) is a challenging task and could be the base of a facial expression interpretation...
Hugo Mercier, Julien Peyras, Patrice Dalle
ECCV
2010
Springer
15 years 8 months ago
Contour Grouping and Abstraction using Simple Part Models
Grouping and Abstraction Using Simple Part Models Pablo Sala and Sven Dickinson Department of Computer Science, University of Toronto, Toronto ON, Canada We address the problem of ...