149
click to vote
ATAL
2004
Springer
15 years 7 months ago
2004
Springer
We have developed a set of tools to allow the use of model-checking techniques for the verification of systems directly implemented in an agent-oriented programming language. The ...
135
click to vote
AMT
2006
Springer
15 years 7 months ago
2006
Springer
In traditional Information Retrieval (IR), user profiles are often represented by keyword/concepts space vectors or by some predefined categories. Unfortunately, this data is often...
144
click to vote
AMT
2006
Springer
15 years 7 months ago
2006
Springer
Text classification using positive and unlabeled data refers to the problem of building text classifier using positive documents (P) of one class and unlabeled documents (U) of man...
133
click to vote
ATAL
2004
Springer
15 years 7 months ago
2004
Springer
As planning agents grow more sophisticated, issues of plan representation arise alongside concerns with plan generation. Planning methods work over increasingly large and difficul...
131
click to vote
ASYNC
2004
IEEE
15 years 7 months ago
2004
IEEE
This paper presents a decomposition method for speedindependent circuit design that is capable of significantly reducing the cost of synthesis. In particular, this method synthesi...