Sciweavers

1789 search results - page 45 / 358
» Extending the Choquet integral
Sort
View
ICPR
2008
IEEE
15 years 5 months ago
Exact integral images at generic angles for 2D barcode detection
Using integral images for fast computation of sums of rectangular areas is very popular in computer vision. However the method does not extend naturally to rotations at arbitrary ...
Tat-Jun Chin, Hanlin Goh, Ngan-Meng Tan
TAICPART
2006
IEEE
134views Education» more  TAICPART 2006»
15 years 5 months ago
Integration Testing of Components Guided by Incremental State Machine Learning
The design of complex systems, e.g., telecom services, is nowadays usually based on the integration of components (COTS), loosely coupled in distributed architectures. When compon...
Keqin Li 0002, Roland Groz, Muzammil Shahbaz
CAISE
2004
Springer
15 years 4 months ago
Data Integration Using ID-Logic
Abstract. ID-Logic is a knowledge representation language that extends first-order logic with non-monotone inductive definitions. This paper introduces an ID-Logic based framewor...
Bert Van Nuffelen, Alvaro Cortés-Calabuig, ...
HASE
1998
IEEE
15 years 3 months ago
Incremental Development of a High Integrity Compiler: Experience from an Industrial Development
We have developed and successfully applied a technique to build a high integrity compiler from Pasp, a Pascal-like language, to Asp, the target language for a high integrity proce...
Susan Stepney
81
Voted
PTS
2007
97views Hardware» more  PTS 2007»
15 years 15 days ago
Learning and Integration of Parameterized Components Through Testing
Abstract. We investigate the use of parameterized state machine models to drive integration testing, in the case where the models of components are not available beforehand. Theref...
Muzammil Shahbaz, Keqin Li 0002, Roland Groz