2542 search results - page 398 / 509 » One step ahead |
ATAL
2009
Springer
15 years 5 months ago
2009
Springer
ion in model checking multi-agent systems Mika Cohen Department of Computing Imperial College London London, UK Mads Dam Access Linnaeus Center Royal Institute of Technology Stockh...
ECSQARU
2009
Springer
15 years 5 months ago
2009
Springer
Abstract. We address the problem of providing a logical characterization of reasoning based on stereotypes. Following [6] we take a semantic perspective and we base our model on a ...
EMSOFT
2009
Springer
15 years 5 months ago
2009
Springer
An important step in model-based embedded system design consists in mapping functional speciļ¬cations and their tasks/operations onto execution architectures and their ressources...
100
click to vote
GECCO
2009
Springer
15 years 5 months ago
2009
Springer
Size and complexity of data repositories collaboratively created by Web users generate a need for new processing approaches. In this paper, we study the problem of detection of ļ¬...
104
click to vote
SIGIR
2009
ACM
15 years 5 months ago
2009
ACM
When search is against structured documents, it is beneļ¬cial to extract information from user queries in a format that is consistent with the backend data structure. As one step...