Sciweavers

2249 search results - page 258 / 450
» Representations for category disambiguation
Sort
View
GLVLSI
2007
IEEE
135views VLSI» more  GLVLSI 2007»
16 years 28 days ago
Exact sat-based toffoli network synthesis
Compact realizations of reversible logic functions are of interest in the design of quantum computers. Such reversible functions are realized as a cascade of Toffoli gates. In th...
Daniel Große, Xiaobo Chen, Gerhard W. Dueck,...
ATAL
2007
Springer
16 years 24 days ago
An adversarial environment model for bounded rational agents in zero-sum interactions
Multiagent environments are often not cooperative nor collaborative; in many cases, agents have conflicting interests, leading to adversarial interactions. This paper presents a ...
Inon Zuckerman, Sarit Kraus, Jeffrey S. Rosenschei...
ATAL
2007
Springer
16 years 24 days ago
Preservation of obligations in a temporal and deontic framework
We study logical properties that concern the preservation of futuredirected obligations that have not been fulfilled yet. Our starting point is a product of temporal and deontic ...
Jan Broersen, Julien Brunel
ATAL
2007
Springer
16 years 24 days ago
Automatic annotation of team actions in observations of embodied agents
Recognizing and annotating the occurrence of team actions in observations of embodied agents has applications in surveillance and in training of military or sport teams. We descri...
Linus J. Luotsinen, Hans Fernlund, Ladislau Bö...
ATAL
2007
Springer
16 years 24 days ago
A formal model for situated semantic alignment
Ontology matching is currently a key technology to achieve the semantic alignment of ontological entities used by knowledge-based applications, and therefore to enable their inter...
Manuel Atencia, W. Marco Schorlemmer