4814 search results - page 785 / 963 » Combining abstract interpreters |
146
click to vote
ARGMAS
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. In this paper, we propose a new strategic and tactic reasoning for agent communication. This reasoning framework is specified using argumentation theory combined to a rel...
132
click to vote
ASWC
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. Ontology matching is a crucial task of enabling interoperation between Web applications using different but related ontologies. Due to the size and the monolithic nature,...
137
click to vote
CIVR
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. We describe progress in the automatic detection and identification of humans in video, given a minimal number of labelled faces as training data. This is an extremely cha...
105
click to vote
CBSE
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. Today we see more and more services being brought to connected homes, such as entertainment or home automation. These services are published and operated by a variety of ...
131
click to vote
DSD
2004
IEEE
15 years 6 months ago
2004
IEEE
Validation of programmable architectures, consisting of processor cores, coprocessors, and memory subsystems, is one of the major bottlenecks in current Systemon-Chip design metho...