Sciweavers

780 search results - page 57 / 156
» Inverse Probleme
Sort
View
ICPR
2000
IEEE
16 years 28 days ago
Multiple View Vision
The goal of this paper is to give a short historical overview of multiple view vision and in particular the estimation of both camera geometry and scene models using only images a...
Kalle Åström
IAT
2006
IEEE
15 years 6 months ago
Toward Inductive Logic Programming for Collaborative Problem Solving
In this paper, we tackle learning in distributed systems and the fact that learning does not necessarily involve the participation of agents directly in the inductive process itse...
Jian Huang, Adrian R. Pearce
RTA
1998
Springer
15 years 4 months ago
Decidable and Undecidable Second-Order Unification Problems
There is a close relationship between word unification and second-order unification. This similarity has been exploited for instance for proving decidability of monadic second-orde...
Jordi Levy
ACRI
2004
Springer
15 years 5 months ago
SAT-Based Analysis of Cellular Automata
Abstract. Cellular Automata are a powerful formal model for describing physical and computational processes. Qualitative analysis of Cellular Automata is in general a hard problem....
Massimo D'Antonio, Giorgio Delzanno
ISMB
1994
15 years 1 months ago
Kinematic Manipulation of Molecular Chains Subject to Rigid Constraint
Wepresent algorithms for kinematic manipulation of molecular chains subject to fixed bond lengths and bond angles. They are useful for calculating conformations of a molecule subj...
Dinesh Manocha, Yunshan Zhu