Sciweavers

5506 search results - page 565 / 1102
» Minimal Logic Programs
Sort
View
LISA
2007
15 years 9 months ago
Network Patterns in Cfengine and Scalable Data Aggregation
Network patterns are based on generic algorithms that execute on tree-based overlays. A set of such patterns has been developed at KTH to support distributed monitoring in network...
Mark Burgess, Matthew Disney, Rolf Stadler
CORR
2007
Springer
64views Education» more  CORR 2007»
15 years 7 months ago
Generating models for temporal representations
We discuss the use of model building for temporal representations. We chose Polish to illustrate our discussion because it has an interesting aspectual system, but the points we w...
Patrick Blackburn, Sébastien Hinderer
EUSFLAT
2009
177views Fuzzy Logic» more  EUSFLAT 2009»
15 years 4 months ago
Fuzzy Voxel Object
In this paper, computer vision and fuzzy set theory are merged for the robust construction of three-dimensional objects using a small number of cameras and minimal a priori knowled...
Derek Anderson, Robert H. Luke III, Erik E. Stone,...
ICCAD
2009
IEEE
101views Hardware» more  ICCAD 2009»
15 years 4 months ago
Compacting test vector sets via strategic use of implications
As the complexity of integrated circuits has increased, so has the need for improving testing efficiency. Unfortunately, the types of defects are also becoming more complex, which...
Nuno Alves, Jennifer Dworak, R. Iris Bahar, Kundan...
MICCAI
2004
Springer
16 years 7 months ago
A Semi-automatic Endocardial Border Detection Method for 4D Ultrasound Data
We propose a semi-automatic endocardial border detection method for 3D+T cardiac ultrasound data based on pattern matching and dynamic programming, operating on 2D slices of the 3D...
Boudewijn J. Krenning, Charles T. Lancée, G...