Sciweavers

4352 search results - page 562 / 871
» A Representation Theorem and Applications
Sort
View
PAMI
2007
131views more  PAMI 2007»
15 years 6 months ago
The Gray-Code Filter Kernels
—In this paper, we introduce a family of filter kernels—the Gray-Code Kernels (GCK) and demonstrate their use in image analysis. Filtering an image with a sequence of Gray-Code...
Gil Ben-Artzi, Hagit Hel-Or, Yacov Hel-Or
ICLP
2010
Springer
15 years 5 months ago
Runtime Addition of Integrity Constraints in an Abductive Proof Procedure
Abductive Logic Programming is a computationally founded representation of abductive reasoning. In most ALP frameworks, integrity constraints express domainspecific logical relati...
Marco Alberti, Marco Gavanelli, Evelina Lamma
ICST
2010
IEEE
15 years 5 months ago
Timed Moore Automata: Test Data Generation and Model Checking
Abstract—In this paper we introduce Timed Moore Automata, a specification formalism which is used in industrial train control applications for specifying the real-time behavior ...
Helge Löding, Jan Peleska
JRTIP
2008
151views more  JRTIP 2008»
15 years 5 months ago
Automatic gender recognition based on pixel-pattern-based texture feature
A pixel-pattern-based texture feature (PPBTF) is proposed for real-time gender recognition. A gray-scale image is transformed into a pattern map where edges and lines are to be use...
Huchuan Lu, Yingjie Huang, Yen-Wei Chen, Deli Yang
PVLDB
2010
219views more  PVLDB 2010»
15 years 5 months ago
Deep Web Integration with VisQI
In this paper, we present VisQI (VISual Query interface Integration system), a Deep Web integration system. VisQI is capable of (1) transforming Web query interfaces into hierarch...
Thomas Kabisch, Eduard Constantin Dragut, Clement ...