Sciweavers

1862 search results - page 325 / 373
» Constrained pattern matching
Sort
View
ECCV
2006
Springer
15 years 3 months ago
Robust Multi-view Face Detection Using Error Correcting Output Codes
Abstract. This paper presents a novel method to solve multi-view face detection problem by Error Correcting Output Codes (ECOC). The motivation is that face patterns can be divided...
Hongming Zhang, Wen Gao, Xilin Chen, Shiguang Shan...
FROCOS
2000
Springer
15 years 3 months ago
Compiling Multi-Paradigm Declarative Programs into Prolog
This paper describes a high-level implementation of the concurrent constraint functional logic language Curry. The implementation, directed by the lazy pattern matching strategy of...
Sergio Antoy, Michael Hanus
WFLP
2000
Springer
124views Algorithms» more  WFLP 2000»
15 years 3 months ago
A Formal Approach to Reasoning about the Effectiveness of Partial Evaluation
We introduce a framework for assessing the effectiveness of partial evaluators in functional logic languages. Our framework is based on properties of the rewrite system that models...
Elvira Albert, Sergio Antoy, Germán Vidal
ICCAD
1995
IEEE
129views Hardware» more  ICCAD 1995»
15 years 3 months ago
Activity-driven clock design for low power circuits
In this paper we investigate activity-driven clock trees to reduce the dynamic power consumption of synchronous digital CMOS circuits. Sections of an activity-driven clock tree ca...
Gustavo E. Téllez, Amir H. Farrahi, Majid S...
AAAI
2008
15 years 2 months ago
Mining Translations of Web Queries from Web Click-through Data
Query translation for Cross-Lingual Information Retrieval (CLIR) has gained increasing attention in the research area. Previous work mainly used machine translation systems, bilin...
Rong Hu, Weizhu Chen, Jian Hu, Yansheng Lu, Zheng ...