Sciweavers

68 search results - page 7 / 14
» Approaching the Skyline in Z Order
Sort
View
INFSOF
2007
104views more  INFSOF 2007»
13 years 9 months ago
A state-based approach to integration testing based on UML models
: Correct functioning of object-oriented software depends upon the successful integration of classes. While individual classes may function correctly, several new faults can arise ...
Shaukat Ali, Lionel C. Briand, Muhammad Jaffar-Ur ...
AAAI
1990
13 years 10 months ago
A Circumscriptive Theory for Causal and Evidential Support
Reasoning about causality is an interesting application area of formal nonmonotonic theories. Here we focus our attention on a certain aspect of causal reasoning, namely causaZ as...
Eunok Paek
ICPR
2002
IEEE
14 years 10 months ago
Estimation of 3D Motion from Stereo Images- Differential and Discrete Formulations
In this paper we analyze the problem of motion estimation from a sequence of stereo images. We formulate both the differential and discrete approaches of two methods. The differen...
Helder Araújo, Nuno Gonçalves
ICCD
2006
IEEE
125views Hardware» more  ICCD 2006»
14 years 6 months ago
Partial Functional Manipulation Based Wirelength Minimization
—In-place flipping of rectangular blocks/cells can potentially reduce the wirelength of a floorplan/placement solution without changing the chip area, In a recent work [Hao 05], ...
Avijit Dutta, David Z. Pan
ICFCA
2004
Springer
14 years 3 months ago
Automated Lattice Drawing
Lattice diagrams, known as Hasse diagrams, have played an ever increasing role in lattice theory and fields that use lattices as a tool. Initially regarded with suspicion, they no...
Ralph Freese