Sciweavers

262 search results - page 5 / 53
» An Approach to Capture Design-induced Error Using an Ontolog...
Sort
View
IPAW
2010
13 years 5 months ago
Reflections on Provenance Ontology Encodings
As more data (especially scientific data) is digitized and put on the Web, the importance of tracking and sharing its provenance metadata grows. Besides capturing the annotation pr...
Li Ding, Jie Bao, James Michaelis, Jun Zhao, Debor...
PLDI
2012
ACM
11 years 10 months ago
Automated error diagnosis using abductive inference
When program verification tools fail to verify a program, either the program is buggy or the report is a false alarm. In this situation, the burden is on the user to manually cla...
Isil Dillig, Thomas Dillig, Alex Aiken
CAIP
2007
Springer
176views Image Analysis» more  CAIP 2007»
14 years 1 months ago
A Modular Approach for Automating Video Analysis
Automating the steps involved in video processing has yet to be tackled with much success by vision developers and knowledge engineers. This is due to the difficulty in formulating...
Gayathri Nadarajan, Arnaud Renouf
MIRAGE
2009
Springer
14 years 7 days ago
Region-Based vs. Edge-Based Registration for 3D Motion Capture by Real Time Monoscopic Vision
3D human motion capture by real-time monocular vision without using markers can be achieved by registering a 3D articulated model on a video. Registration consists in iteratively o...
David Antonio Gómez Jáuregui, Patric...
CIKM
2005
Springer
14 years 1 months ago
A robot ontology for urban search and rescue
The goal of this Robot Ontology effort is to develop and begin to populate a neutral knowledge representation (the data structures) capturing relevant information about robots and...
Craig Schlenoff, Elena Messina