Sciweavers

1615 search results - page 192 / 323
» Computer science and decision theory
Sort
View
114
Voted
DGO
2008
173views Education» more  DGO 2008»
15 years 2 months ago
The Deliberative E-Rulemaking project (DeER): improving federal agency rulemaking via natural language processing and citizen di
Many scholars believe that electronic rulemaking has great but largely untapped potential to expand the public's democratic input and improve federal agency regulatory rules....
Peter Muhlberger, Nick Webb, Jennifer Stromer-Gall...
97
Voted
LICS
2006
IEEE
15 years 7 months ago
Managing Digital Rights using Linear Logic
Digital music players protect songs by enforcing licenses that convey specific rights for individual songs or groups of songs. For licenses specified in industry, we show that d...
Adam Barth, John C. Mitchell
93
Voted
LICS
2005
IEEE
15 years 6 months ago
Proof-Theoretic Approach to Description-Logic
In recent work Baader has shown that a certain description logic with conjunction, existential quantification and with circular definitions has a polynomial time subsumption pro...
Martin Hofmann
90
Voted
CORR
2006
Springer
81views Education» more  CORR 2006»
15 years 1 months ago
The Workshop on Internet Topology (WIT) Report
Internet topology analysis has recently experienced a surge of interest in computer science, physics, and the mathematical sciences. However, researchers from these different disc...
Dmitri V. Krioukov, Fan R. K. Chung, Kimberly C. C...
105
Voted
ATAL
2006
Springer
15 years 4 months ago
Winning back the CUP for distributed POMDPs: planning over continuous belief spaces
Distributed Partially Observable Markov Decision Problems (Distributed POMDPs) are evolving as a popular approach for modeling multiagent systems, and many different algorithms ha...
Pradeep Varakantham, Ranjit Nair, Milind Tambe, Ma...