Sciweavers

3481 search results - page 389 / 697
» Exploration in Relational Worlds
Sort
View
IWFM
1998
136views Formal Methods» more  IWFM 1998»
15 years 8 months ago
Translating Structured Database Schemas into Abstract Machines
ing Structured Database Schemas into Abstract Machines Brian Matthews Rutherford Appleton Laboratory, Didcot, OXON, OX11 OQX, U.K. Elvira Locuratolo Istituto di Elaborazione dell&#...
Brian Matthews, Elvira Locuratolo
MVA
2000
159views Computer Vision» more  MVA 2000»
15 years 8 months ago
Yet Another Appearance-Based Method for Pose Estimation Based on a linear Model
This paper explores the possibility of a linear model as a solution to the problem of appearance-based pose estimation. The parametric eigenspace method (or its extensions that ar...
Takayuki Okatani, Koichiro Deguchi
167
Voted
IJCAI
1997
15 years 8 months ago
Automation of Diagrammatic Reasoning
Theoremsin automated theorem proving are usually proved by logical formal proofs. However,there is a subset of problems which humanscan prove in a different wayby the use of geome...
Mateja Jamnik, Alan Bundy, Ian Green
AAAI
1994
15 years 8 months ago
Some Advances in Transformation-Based Part of Speech Tagging
Most recent research in trainable part of speech taggers has explored stochastic tagging. While these taggers obtain high accuracy, linguistic information is captured indirectly, ...
Eric Brill
AAAI
1994
15 years 8 months ago
A Computational Market Model for Distributed Configuration Design
This paper presents a precise market model for a well-defined class of distributed configuration design problems. Given a design problem, the model defines a computational economy...
Michael P. Wellman