Sciweavers

189 search results - page 15 / 38
» Efficient Representation of Adhoc Constraints
Sort
View
IASTEDSE
2004
13 years 11 months ago
A symbolic Java virtual machine for test case generation
Quality management is becoming a more and more important part of the software development process. As software testing is currently understood as the core function of the quality ...
Roger A. Müller, Christoph Lembeck, Herbert K...
IJCAI
1989
13 years 10 months ago
Functional Representation of Designs and Redesign Problem Solving
gn problem can be abstractly characterized as a constrained function-to-structure mapping. The de­ sign task takes as input the specifications of the desired functions of a device...
Ashok K. Goel, B. Chandrasekaran
CVPR
2000
IEEE
14 years 11 months ago
Edge-Constrained Joint View Triangulation for Image Interpolation
Image-based-interpolation creates smooth and photorealistic views between two view points. The concept of joint view triangulation (JVT) has been proven to be an efficient multi-v...
Maxime Lhuillier, Long Quan
CP
2000
Springer
14 years 2 months ago
A Language for Audiovisual Template Specification and Recognition
We address the issue of detecting automatically occurrences of high level patterns in audiovisual documents. These patterns correspond to recurring sequences of shots, which are co...
Jean Carrive, Pierre Roy, François Pachet, ...
ENTCS
2008
105views more  ENTCS 2008»
13 years 9 months ago
Checking Equivalence for Reo Networks
Constraint automata have been used as an operational model for component connectors described in the coordination language Reo which specifies the cooperation and communication of...
Tobias Blechmann, Christel Baier