Sciweavers

1604 search results - page 51 / 321
» A Logical Viewpoint on Architectures
Sort
View
175
Voted
ICCV
2011
IEEE
14 years 6 months ago
Smooth Object Retrieval using a Bag of Boundaries
We describe a scalable approach to 3D smooth object retrieval which searches for and localizes all the occurrences of a user outlined object in a dataset of images in real time. T...
Relja Arandjelovic, Andrew Zisserman
FLAIRS
2006
15 years 7 months ago
Syntax-based Concept Extraction for Question Answering Using SEMEX
The SEMEX tool for question answering is presented. Its architecture and features for extracting from input text a network of concept nodes that index syntax-based logical forms, ...
Demetrios G. Glinos, Fernando Gomez
174
Voted
DLOG
2001
15 years 7 months ago
Combining Tableaux and Algebraic Methods for Reasoning with Qualified Number Restrictions
This paper investigates an optimization technique for reasoning with qualified number restrictions in the description logic ALCQHR+ . We present a hybrid architecture where a stan...
Volker Haarslev, Martina Timmann, Ralf Möller
SEMWEB
2004
Springer
15 years 11 months ago
A Model Theoretic Semantics for Ontology Versioning
Abstract. We show that the Semantic Web needs a formal semantics for the various kinds of links between ontologies and other documents. We provide a model theoretic semantics that ...
Jeff Heflin, Zhengxiang Pan
AAAI
2008
15 years 8 months ago
On the Enactability of Business Protocols
Protocols specifying business interactions among autonomous parties enable reuse and promote interoperability. A protocol is specified from a global viewpoint, but enacted in a di...
Nirmit Desai, Munindar P. Singh