2834 search results - page 249 / 567 » Representing Trees with Constraints |
181
click to vote
JMIV
2000
15 years 6 months ago
2000
Abstract. This paper presents a study, based on conic correspondences, on the relationship between two perspective images acquired by an uncalibrated camera. We show that for a pai...
202
click to vote
CEC
2008
IEEE
16 years 1 months ago
2008
IEEE
—Geometric particle swarm optimization (GPSO) is a recently introduced formal generalization of traditional particle swarm optimization (PSO) that applies naturally to both conti...
203
click to vote
TAL
2004
Springer
15 years 12 months ago
2004
Springer
In our research, we have developed a transfer-based machine translation architecture for the translation from Japanese into German. One main feature of the system is the fully auto...
163
click to vote
WCRE
2000
IEEE
15 years 11 months ago
2000
IEEE
In this paper we present our design for a program data exchange format for Harmonia, a framework for constructing language-sensitive interactive CASE tools. We discuss the various...
182
click to vote
CAV
1999
Springer
15 years 11 months ago
1999
Springer
Abstract. In this paper we extend one of the main tools used in veri cation of discrete systems, namely Binary Decision Diagrams (BDD), to treat probabilistic transition systems. W...