1547 search results - page 251 / 310 » The Isabelle Collections Framework |
169
click to vote
SADM
2008
15 years 5 months ago
2008
: Accurate and efficient video classification demands the fusion of multimodal information and the use of intermediate representations. Combining the two ideas into one framework, ...
152
click to vote
AUSAI
2010
Springer
15 years 5 months ago
2010
Springer
Java-based simulation environments are currently used by many multiagent systems (MAS), since they mainly provide portability as well as an interesting reduction of the development...
188
click to vote
CIKM
2010
Springer
15 years 4 months ago
2010
Springer
In Latent Semantic Indexing (LSI), a collection of documents is often pre-processed to form a sparse term-document matrix, followed by a computation of a low-rank approximation to...
226
click to vote
IDA
2010
Springer
15 years 4 months ago
2010
Springer
Data-driven knowledge discovery is becoming a new trend in various scientific fields. In light of this, the goal of the present paper is to introduce a novel framework to study one...
189
click to vote
JLP
2008
15 years 4 months ago
2008
Coordination languages were introduced in the early 80's as programming notations to manage the interaction among concurrent collaborating software entities. Process algebras...