5451 search results - page 938 / 1091 » Typed Operational Semantics |
115
Voted
CIA
2006
Springer
15 years 7 months ago
2006
Springer
The paper describes a decentralized peer-to-peer multi-agent learning method based on inductive logic programming and knowledge trading. The method uses first-order logic for model...
116
click to vote
FGR
2004
IEEE
15 years 7 months ago
2004
IEEE
Vision-based hand gesture interfaces require fast and extremely robust hand detection. Here, we study view-specific hand posture detection with an object recognition method recent...
148
Voted
CSL
2006
Springer
15 years 7 months ago
2006
Springer
The Hintikka-style modal logic approach to knowledge has a well-known defect of logical omniscience, i.e., an unrealistic feature that an agent knows all logical consequences of he...
140
Voted
EDBTW
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. Most of the recent work on adaptive processing and continuous querying of data streams assume that data objects come in the form of tuples, thus relying on the relational...
132
Voted
EUROPAR
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. Automatic performance analysis of parallel programs can be accomplished by scanning event traces of program execution for patterns representing inefficient behavior. The ...