Sciweavers

1007 search results - page 159 / 202
» The Complexity of Futile Questioning
Sort
View
CORR
2007
Springer
52views Education» more  CORR 2007»
15 years 19 days ago
Hierarchical Unambiguity
Abstract. We develop techniques to investigate relativized hierarchical unambiguous computation. We apply our techniques to push forward some known constructs involving relativized...
Holger Spakowski, Rahul Tripathi
95
Voted
CORR
2007
Springer
156views Education» more  CORR 2007»
15 years 19 days ago
Analysis of a Mixed Strategy for Multiple Relay Networks
Abstract— Infrastructure based wireless communications systems as well as ad hoc networks experience a growing importance in present-day telecommunications. An increased density ...
Peter Rost, Gerhard Fettweis
CORR
2007
Springer
177views Education» more  CORR 2007»
15 years 19 days ago
N3Logic: A Logical Framework For the World Wide Web
The Semantic Web drives towards the use of the Web for interacting with logically interconnected data. Through knowledge models such as Resource Description Framework (RDF), the S...
Tim Berners-Lee, Dan Connolly, Lalana Kagal, Yosi ...
107
Voted
JANCL
2007
115views more  JANCL 2007»
15 years 16 days ago
A logical characterisation of qualitative coalitional games
Qualitative coalitional games (QCGs) were introduced as abstract formal models of goal-oriented cooperative systems. A QCG is a game in which each agent is assumed to have some goa...
Paul E. Dunne, Wiebe van der Hoek, Michael Wooldri...
105
Voted
JCT
2007
122views more  JCT 2007»
15 years 16 days ago
h-Vectors of Gorenstein polytopes
We show that the Ehrhart h-vector of an integer Gorenstein polytope with a unimodular triangulation satisfies McMullen’s g-theorem; in particular it is unimodal. This result gen...
Winfried Bruns, Tim Römer