Sciweavers

4903 search results - page 850 / 981
» The Set Covering Machine
Sort
View
ECCV
2006
Springer
14 years 27 days 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...
ECOWS
2006
Springer
14 years 27 days ago
Formal Modelling and Verification of an Asynchronous Extension of SOAP
Current web services are largely based on a synchronous request-response model that uses the Simple Object Access Protocol SOAP. Next-generation telecommunication networks, on the...
Maurice H. ter Beek, Stefania Gnesi, Franco Mazzan...
ESCIENCE
2006
IEEE
14 years 27 days ago
Designing Workflow Components for e-Science
In this paper we present a general domain for the analysis of workflows and workflow components based on the notion of a collection of Turing machines sharing a set of tapes. We s...
Frank Terpstra, Pieter W. Adriaans
GECCO
2006
Springer
205views Optimization» more  GECCO 2006»
14 years 26 days ago
Bounding XCS's parameters for unbalanced datasets
This paper analyzes the behavior of the XCS classifier system on imbalanced datasets. We show that XCS with standard parameter settings is quite robust to considerable class imbal...
Albert Orriols-Puig, Ester Bernadó-Mansilla
CHARME
2003
Springer
120views Hardware» more  CHARME 2003»
14 years 26 days ago
A Compositional Theory of Refinement for Branching Time
Abstract. I develop a compositional theory of refinement for the branching time framework based on stuttering simulation and prove that if one system refines another, then a refine...
Panagiotis Manolios