Sciweavers

3984 search results - page 306 / 797
» A Model-Driven Transformation Method
Sort
View
CAIP
1997
Springer
121views Image Analysis» more  CAIP 1997»
15 years 9 months ago
Architectural Image Segmentation Using Digital Watersheds
The use of digital image analysis in architectural photogrammetry allows the automation of monotonous low-level tasks and makes the interpretation of facades much easier. Different...
Volker Rodehorst
APVIS
2004
15 years 6 months ago
Creating Minimal Vertex Series Parallel Graphs from Directed Acyclic Graphs
Visualizing information whose underlying graph is directed acyclic is easier if the graph is Minimal Vertex Series Parallel (MVSP). We present method of transforming any directed ...
Margaret Mitchell
116
Voted
IJCAI
2003
15 years 6 months ago
Constructing utility models from observed negotiation actions
We propose a novel method for constructing utility models by learning from observed negotiation actions. In particular, we show how offers and counter-offers in negotiation can be...
Angelo C. Restificar, Peter Haddawy
125
Voted
ACL
1997
15 years 6 months ago
Finite State Transducers Approximating Hidden Markov Models
This paper describes the conversion of a Hidden Markov Model into a sequential transducer that closely approximates the behavior of the stochastic model. This transformation is es...
André Kempe
126
Voted
CORR
2008
Springer
154views Education» more  CORR 2008»
15 years 5 months ago
Coinductive Formal Reasoning in Exact Real Arithmetic
In this article we present a method for formally proving the correctness of the lazy algorithms for computing homographic and quadratic transformations -- of which field operations...
Milad Niqui