4469 search results - page 289 / 894 » Comparing and Combining Profiles |
150
Voted
CAV
2004
Springer
15 years 8 months ago
2004
Springer
JNuke is a framework for verification and model checking of Java programs. It is a novel combination of run-time verification, explicit-state model checking, and counter-example ex...
135
Voted
CLEF
2004
Springer
15 years 8 months ago
2004
Springer
The use of domain-specific metadata (subject keywords) is tested for monolingual and bilingual retrieval on the GIRT social science collection. A new technique, Entry Vocabulary Mo...
156
click to vote
CONCUR
2006
Springer
15 years 8 months ago
2006
Springer
Working in the context of a process-algebraic language for Probabilistic I/O Automata (PIOA), we study the notion of PIOA behavior equivalence by obtaining a complete axiomatizatio...
127
Voted
ESAW
2006
Springer
15 years 8 months ago
2006
Springer
The rational agent community uses Michael Bratman's planning theory of intention as its theoretical foundation for the development of its agentoriented BDI languages. We prese...
145
click to vote
EVOW
2006
Springer
15 years 8 months ago
2006
Springer
A new model for evolving the structure of a Particle Swarm Optimization (PSO) algorithm is proposed in this paper. The model is a hybrid technique that combines a Genetic Algorithm...