11484 search results - page 543 / 2297 » Modeling in the Large and Modeling in the Small |
180
click to vote
CEEMAS
2005
Springer
16 years 21 days ago
2005
Springer
Abstract. An autonomous agent may largely benefit from its ability to reconstruct another agent’s reasoning principles from records of past events and general knowledge about th...
154
click to vote
MLMI
2005
Springer
16 years 20 days ago
2005
Springer
We present a novel approach to developing interfaces for multi-application dialogue systems. The targeted interfaces allow transparent switching between a large number of applicati...
177
click to vote
TACAS
2005
Springer
16 years 19 days ago
2005
Springer
Abstract. We propose a novel algorithm for automata-based LTL model checking that interleaves the construction of the generalized B¨uchi automaton for the negation of the formula ...
211
click to vote
SAG
2004
Springer
16 years 15 days ago
2004
Springer
Bioinformatics applications manage complex biological data stored into distributed and often heterogeneous databases and require large computing power. Among these, protein structu...
157
click to vote
HICSS
2003
IEEE
16 years 14 days ago
2003
IEEE
Heritage management in New Zealand is data rich but information poor. For nearly 50 years, the New Zealand Archaeological Association has maintained a paper based, largely textual...