3552 search results - page 426 / 711 » Proof theory in the abstract |
158
Voted
CLEAR
2007
Springer
16 years 27 days ago
2007
Springer
Abstract. This paper presents the audio based tracking system designed at FBK-irst laboratories for the CLEAR 2007 evaluation campaign. The tracker relies on the Global Coherence F...
145
Voted
CPAIOR
2007
Springer
16 years 27 days ago
2007
Springer
Abstract. We propose generalizations of the Global Cardinality Constraint (gcc) in which a partition of the variables is given. In the context of resource allocation problems, such...
185
click to vote
ESWS
2007
Springer
16 years 27 days ago
2007
Springer
Abstract. In this paper, we propose a novel approach to measure inconsistencies in ontologies based on Shapley values, which are originally proposed for game theory. This measure c...
151
click to vote
FCT
2007
Springer
16 years 26 days ago
2007
Springer
Abstract. Motivated by considerations in XML theory and model checking, data strings have been introduced as an extension of finite alphabet strings which carry, at each position,...
161
click to vote
ICALP
2007
Springer
16 years 26 days ago
2007
Springer
Abstract. In this paper, we identify some issues in the interplay between practice and theory in cryptography, issues that have repeatedly appeared in different incarnations over ...