4131 search results - page 331 / 827 » The Generalized Max-Controlled Set Problem |
147
click to vote
ATAL
2008
Springer
15 years 6 months ago
2008
Springer
We consider Coalitional Skill Games (CSGs), a simple model of cooperation among agents. This is a restricted form of coalitional games, where each agent has a set of skills that a...
137
click to vote
ACTA
2010
15 years 5 months ago
2010
This paper describes an effective verification procedure for imperative programs that handle (balanced) tree-like data structures. Since the verification problem considered is unde...
141
Voted
PODS
2007
ACM
16 years 5 months ago
2007
ACM
Many applications today need to manage large data sets with uncertainties. In this paper we describe the foundations of managing data where the uncertainties are quantified as pro...
124
click to vote
ER
2009
Springer
15 years 11 months ago
2009
Springer
In previous work, we proposed an algebra whose operators allow to specify the valid compound terms of a faceted taxonomy, in a flexible manner (by combining positive and negative ...
140
click to vote
DASFAA
2008
IEEE
15 years 11 months ago
2008
IEEE
Abstract. The XML has undoubtedly become a standard for data representation and manipulation. But most of XML documents are still created without the respective description of its ...