Sciweavers

2686 search results - page 269 / 538
» Testing metric properties
Sort
View
PAKDD
2007
ACM
137views Data Mining» more  PAKDD 2007»
16 years 22 days ago
Contrast Set Mining Through Subgroup Discovery Applied to Brain Ischaemina Data
Abstract. Contrast set mining aims at finding differences between different groups. This paper shows that a contrast set mining task can be transformed to a subgroup discovery ta...
Petra Kralj, Nada Lavrac, Dragan Gamberger, Antoni...
DFT
2005
IEEE
92views VLSI» more  DFT 2005»
16 years 6 days ago
Simulating Faults of Combinational IP Core-based SOCs in a PLI Environment
This paper presents a new test methodology which utilizes the Programming Language Interface (PLI) for performing fault simulation of combinational or full scan Intellectual Prope...
Pedram A. Riahi, Zainalabedin Navabi, Fabrizio Lom...
ICIP
2010
IEEE
15 years 12 months ago
Estimation of linear deformations of 3D objects
We propose a registration method to find affine transformations between 3D objects by constructing and solving an overdetermined system of polynomial equations. We utilize voxel...
Attila Tanács, Natasa Sladoje, Joakim Lindblad, a...
DAC
2010
ACM
15 years 10 months ago
Coverage in interpolation-based model checking
Coverage is a means to quantify the quality of a system specification, and is frequently applied to assess progress in system validation. Coverage is a standard measure in testin...
Hana Chockler, Daniel Kroening, Mitra Purandare
ESWS
2006
Springer
15 years 10 months ago
Towards a Complete OWL Ontology Benchmark
Abstract. Aiming to build a complete benchmark for better evaluation of existing ontology systems, we extend the well-known Lehigh University Benchmark in terms of inference and sc...
Li Ma, Yang Yang, Zhaoming Qiu, Guo Tong Xie, Yue ...