Sciweavers

1653 search results - page 213 / 331
» Directed tree-width examples
Sort
View
154
Voted
MVA
1996
164views Computer Vision» more  MVA 1996»
15 years 6 months ago
3D Data Driven Prediction for Active Contour Models with Application to Car Tracking
In this paper we apply a new data driven 3D prediction step for active contour models to car tracking on highways. The so called 3D bounding volume (BV) is a coarse 3D representat...
Joachim Denzler, Heinrich Niemann
ACL
1992
15 years 6 months ago
Metonymy: Reassessment, Survey of Acceptability, and its Treatment in a Machine Translation System
In this article we outline a basic approach to treating metonymy properly in a multilingual machine translation system. This is the first attempt at treating metonymy in an machin...
Shin-ichiro Kamei, Takahiro Wakao
COLING
1992
15 years 6 months ago
Compiling and Using Finite-State Syntactic Rules
A language-independent framework for syntactic finlte-state parsing is discussed. The article presents a framework, a formalism, a compiler and a parser for grammars written in th...
Kimmo Koskenniemi, Pasi Tapanainen, Atro Voutilain...
165
Voted
ATAL
2010
Springer
15 years 6 months ago
Bootstrapping trust evaluations through stereotypes
In open, dynamic multi-agent systems, agents may form short-term ad-hoc groups, such as coalitions, in order to meet their goals. Trust and reputation are crucial concepts in thes...
Chris Burnett, Timothy J. Norman, Katia P. Sycara
CADE
2010
Springer
15 years 6 months ago
Beluga: A Framework for Programming and Reasoning with Deductive Systems (System Description)
Beluga is an environment for programming and reasoning about formal systems given by axioms and inference rules. It implements the logical framework LF for specifying and prototypi...
Brigitte Pientka, Joshua Dunfield