2909 search results - page 279 / 582 » Consistency of the theory of contexts |
175
click to vote
AGENTCL
2000
Springer
15 years 11 months ago
2000
Springer
Intelligent agents in the agent language 3APL are computational entities consisting of beliefs and goals which make up their mental state. In this paper, we integrate communicatio...
171
click to vote
ECAI
2000
Springer
15 years 11 months ago
2000
Springer
Real-time search has two aspects, one as an efficient search method (in a single problem solving trial), and the other as an overall problem solving architecture with learning abi...
180
click to vote
CAV
2010
Springer
15 years 10 months ago
2010
Springer
For efficiency and portability, network packet processing code is typically written in low-level languages and makes use of bit-level operations to compactly represent data. Althou...
168
click to vote
ESORICS
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. We revisit the classical notion of noninterference for statebased systems, as presented by Rushby in 1992. We strengthen his results in several ways, in particular clarif...
172
click to vote
AAAI
2006
15 years 8 months ago
2006
In text categorization, term weighting methods assign appropriate weights to the terms to improve the classification performance. In this study, we propose an effective term weigh...