Sciweavers

438 search results - page 14 / 88
» constraints 1998
Sort
View
IJCV
1998
121views more  IJCV 1998»
13 years 7 months ago
Continuous Time Matching Constraints for Image Streams
Corresponding image points of a rigid object in a discrete sequence of images fulfil the so-called multilinear constraint. In this paper the continuous time analogue of this const...
Kalle Åström, Anders Heyden
TIME
1998
IEEE
13 years 11 months ago
Tackling the Qualification Problem using Fluent Dependency Constraints: Preliminary Report
The use of causal rules or fluent dependency constraints has proven to provide a versatile means of dealing with the ramification problem. In this paper we show how fluent depende...
Patrick Doherty, Jonas Kvarnström
KES
1998
Springer
13 years 11 months ago
Intensity reasoning by constraint propagation based on causal relationships
Many events in the world occur with some quantity that shows a level of the occurrence. This paper discusses reasoning with the normalized level of the occurrence, which we call i...
Koichi Yamada
INFSOF
1998
72views more  INFSOF 1998»
13 years 7 months ago
Validation of measurement software as an application of slicing and constraint solving
We show how to combine program slicing and constraint solving in order to obtain better slice accuracy. The method is used in the VALSOFT slicing system. One particular applicatio...
Jens Krinke, Gregor Snelting
ISPD
1998
ACM
192views Hardware» more  ISPD 1998»
13 years 11 months ago
On convex formulation of the floorplan area minimization problem
It is shown that the oorplan area minimization problem can be formulated as a convex programming problem with the numbers of variables and constraints signi cantly less than those...
Temo Chen, Michael K. H. Fan