602 search results - page 102 / 121 » Efficient Model Checking of Applications with Input Output |
JNSM
2008
13 years 7 months ago
2008
There is a large conceptual gap between end-to-end infrastructure requirements and detailed component configuration implementing those requirements. Today, this gap is manually br...
LKR
2008
13 years 9 months ago
2008
Abstract. Recent research has enabled important progress in developing agents aimed at real-world linguistic interaction with humans. Hence, within the general shift of research fo...
ERCIMDL
1998
Springer
13 years 12 months ago
1998
Springer
Multimedia communication is a part of everyday life and its appearance in computer applications is increasing in frequency and diversity. Intelligent or knowledge based computer su...
ATAL
2008
Springer
13 years 9 months ago
2008
Springer
Many important problems in multiagent systems can be seen as resource allocation problems. For such problems, the well-known Vickrey-Clarke-Groves (VCG) mechanism is efficient, in...
BIODATAMINING
2008
13 years 7 months ago
2008
Background: Agglomerative hierarchical clustering (AHC) is a common unsupervised data analysis technique used in several biological applications. Standard AHC methods require that...