Sciweavers

1342 search results - page 43 / 269
» Shape reasoning and understanding
Sort
View
PERVASIVE
2009
Springer
15 years 8 months ago
Landmark-Based Pedestrian Navigation with Enhanced Spatial Reasoning
Computer vision techniques can enhance landmark-based navigation by better utilizing online photo collections. We use spatial reasoning to compute camera poses, which are then regi...
Harlan Hile, Radek Grzeszczuk, Alan L. Liu, Ramakr...
KI
2004
Springer
15 years 7 months ago
Model Based Deduction for Database Schema Reasoning
Abstract. We aim to demonstrate that automated deduction techniques, in particular those following the model computation paradigm, are very well suited for database schema/query re...
Peter Baumgartner, Ulrich Furbach, Margret Gro&szl...
IFIPTM
2010
145views Management» more  IFIPTM 2010»
15 years 13 days ago
A Formal Notion of Trust - Enabling Reasoning about Security Properties
Historically, various different notions of trust can be found, each addressing particular aspects of ICT systems, e.g. trust in electronic commerce systems based on reputation and...
Andreas Fuchs, Sigrid Gürgens, Carsten Rudolp...
SAC
2009
ACM
15 years 6 months ago
An ontology-based application in heart electrophysiology: representation, reasoning and visualization on the web
Computational technologies have been increasingly explored to make biomedical knowledge and data more accessible for human understanding, comparison, analysis and communication. I...
Bernardo Gonçalves, Veruska Zamborlini, Gia...
SEMWEB
2009
Springer
15 years 6 months ago
Reasoning about Resources and Hierarchical Tasks Using OWL and SWRL
Abstract. Military training and testing events are highly complex affairs, potentially involving dozens of legacy systems that need to interoperate in a meaningful way. There are s...
Daniel Elenius, David Martin, Reginald Ford, Grit ...