1457 search results - page 122 / 292 » Extending Time Management Support for Multi-agent Systems |
118
Voted
ATVA
2006
Springer
15 years 7 months ago
2006
Springer
We present the implementation of the trace theory in a new model checking tool framework, POEM, that has a strong emphasis on Partial Order Methods. A tree structure is used to sto...
129
Voted
GECCO
2008
Springer
15 years 4 months ago
2008
Springer
Bid-based Genetic Programming (GP) provides an elegant mechanism for facilitating cooperative problem decomposition without an a priori speciļ¬cation of the number of team member...
155
Voted
ERCIMDL
2007
Springer
15 years 5 months ago
2007
Springer
The German Remote Sensing Data Center (DFD) has developed a digital library for the long-term management of earth observation data products. This Product Library is a central part ...
149
Voted
ER
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. Past research work on modeling and managing temporal information has, so far, failed to elicit support in commercial database systems. The increasing popularity of XML oļ...
120
Voted
AMR
2003
Springer
15 years 9 months ago
2003
Springer
As more and more knowledge and information becomes available through computers, a critical capability of systems supporting knowledge management is the classification of documents ...