6456 search results - page 183 / 1292 » Constraint Solving on Terms |
206
click to vote
CVPR
1997
IEEE
15 years 10 months ago
1997
IEEE
ÐWe describe a new direct method for estimating structure and motion from image intensities of multiple views. We extend the direct methods of Horn and Weldon [18] to three views....
144
click to vote
FORMATS
2006
Springer
15 years 10 months ago
2006
Springer
Networks of communicating finite-state machines equipped with local clocks generate timed MSCs. We consider the problem of checking whether these timed MSCs are "consistent&qu...
165
click to vote
IWSAS
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. Self-adaptive systems must recon gure themselves, at runtime, to compensate for changing environments, objectives, and system capabilities. This paper discusses how the S...
186
click to vote
AAAI
2007
15 years 8 months ago
2007
The future success of application layer video multicast depends on the availability of video stream distribution methods that can scale in the number of stream senders and receive...
214
click to vote
ICCSA
2007
Springer
15 years 8 months ago
2007
Springer
A style dress outlet usually purchases products from multiple suppliers with different cost, quality and selling price. It is assumed that some suppliers will sell their goods to t...