Sciweavers

2181 search results - page 198 / 437
» The restriction scaffold problem
Sort
View
FOSSACS
2009
Springer
15 years 8 months ago
Interprocedural Dataflow Analysis over Weight Domains with Infinite Descending Chains
We study generalized fixed-point equations over idempotent semirings and provide an efficient algorithm for the detection whether a sequence of Kleene's iterations stabilizes ...
Morten Kühnrich, Stefan Schwoon, Jirí ...
ICB
2007
Springer
214views Biometrics» more  ICB 2007»
15 years 8 months ago
Demographic Classification with Local Binary Patterns
LBP (Local Binary Pattern) as an image operator is used to extract LBPH (LBP histogram) features for texture description. In this paper, we present a novel method to use LBPH featu...
Zhiguang Yang, Haizhou Ai
GRC
2009
IEEE
15 years 8 months ago
On the uniqueness of the expression for the Choquet integral with linear core in classification
The Choquet integral has been applied in data mining, such as nonlinear multiregressions and nonlinear classifications. Adopting signed efficiency measure in the Choquet integral ...
Weiwei Zhang, Wei Chen, Zhenyuan Wang
AMAST
2006
Springer
15 years 8 months ago
A Compositional Semantics of Plan Revision in Intelligent Agents
This paper revolves around the so-called plan revision rules of the agent programming language 3APL. These rules can be viewed as a generalization of procedures. This generalizatio...
M. Birna van Riemsdijk, John-Jules Ch. Meyer
ATAL
2004
Springer
15 years 8 months ago
Managing Multi-Agent Coordination, Planning, and Scheduling
Most research about multi-agent coordination is concentrated at a high level, e.g., developing coordination interaction protocols to be imposed on agents. There has been less conc...
Wei Chen, Keith Decker