Sciweavers

4944 search results - page 761 / 989
» From XML to Relational Models
Sort
View
140
Voted
MICCAI
2005
Springer
16 years 4 months ago
Automatic Detection and Segmentation of Robot-Assisted Surgical Motions
Robotic surgical systems such as Intuitive Surgical's da Vinci system provide a rich source of motion and video data from surgical procedures. In principle, this data can be u...
Henry C. Lin, Izhak Shafran, Todd E. Murphy, Allis...
130
Voted
WWW
2008
ACM
16 years 4 months ago
Mining for personal name aliases on the web
We propose a novel approach to find aliases of a given name from the web. We exploit a set of known names and their aliases as training data and extract lexical patterns that conv...
Danushka Bollegala, Taiki Honma, Yutaka Matsuo, Mi...
133
Voted
CADE
2001
Springer
16 years 4 months ago
Context Trees
Context trees are a popular and effective tool for tasks such as compression, sequential prediction, and language modeling. We present an algebraic perspective of context trees for...
Harald Ganzinger, Robert Nieuwenhuis, Pilar Nivela
ICSE
2007
IEEE-ACM
16 years 4 months ago
Parallel Randomized State-Space Search
Model checkers search the space of possible program behaviors to detect errors and to demonstrate their absence. Despite major advances in reduction and optimization techniques, s...
Matthew B. Dwyer, Sebastian G. Elbaum, Suzette Per...
PADL
2010
Springer
16 years 26 days ago
Implementing Query Answering for Hybrid MKNF Knowledge Bases
Abstract. Ontologies and rules are usually loosely coupled in knowledge representation formalisms. In fact, ontologies use open-world reasoning while the leading semantics for rule...
Ana Sofia Gomes, José Júlio Alferes,...