Sciweavers

4961 search results - page 797 / 993
» Homomorphism-Homogeneous Relational Structures
Sort
View
135
Voted
ANLP
2000
123views more  ANLP 2000»
15 years 6 months ago
Generating Text with a Theorem Prover
The process of documenting designs is tedious and often error-prone. We discuss a system that automatically generates documentation for the single step transition behavior of Stat...
Ivan I. Garibay
BMVC
1998
15 years 6 months ago
The Precision of 3D Reconstruction from Uncalibrated Views
We consider reconstruction algorithms using points tracked over a sequence of (at least three) images, to estimate the positions of the cameras (motion parameters), the 3D coordin...
Etienne Grossmann, José Santos-Victor
ECIS
2000
15 years 6 months ago
Effects of Electronic Markets on Negotiation Processes
Negotiation can be regarded as playing a game with certain rules. If the rules change, the game has to be played differently. Compared to traditional markets, electronic markets ca...
Michael Stroebel
198
Voted
FBT
2000
167views Formal Methods» more  FBT 2000»
15 years 6 months ago
Diagrams for Dataflow
The behavior of reactive systems can be described by their black box properties as a relation between input and output streams. More operational is the behavior's description...
Max Breitling, Jan Philipps
AAAI
1997
15 years 6 months ago
Evidence for Invariants in Local Search
It is well known that the performance of a stochastic local search procedure depends upon the setting of its noise parameter, and that the optimal setting varies with the problem ...
David A. McAllester, Bart Selman, Henry A. Kautz