Sciweavers

14161 search results - page 443 / 2833
» On generalized middle-level problem
Sort
View
SODA
1990
ACM
82views Algorithms» more  SODA 1990»
15 years 8 months ago
Visibility with a Moving Point of View
We investigate 3-d visibility problems in which the viewing position moves along a straight flightpath. Specifically we focus on two problems: determining the points along the fli...
Marshall W. Bern, David P. Dobkin, David Eppstein,...
CORR
2010
Springer
139views Education» more  CORR 2010»
15 years 7 months ago
The Complexity of Satisfiability for Sub-Boolean Fragments of ALC
The standard reasoning problem, concept satisfiability, in the basic description logic ALC is PSPACE-complete, and it is EXPTIMEcomplete in the presence of unrestricted axioms. Sev...
Arne Meier, Thomas Schneider 0002
CORR
2006
Springer
98views Education» more  CORR 2006»
15 years 6 months ago
A Formal Measure of Machine Intelligence
A fundamental problem in artificial intelligence is that nobody really knows what intelligence is. The problem is especially acute when we need to consider artificial systems whic...
Shane Legg, Marcus Hutter
CORR
2007
Springer
88views Education» more  CORR 2007»
15 years 6 months ago
Minimum cost distributed source coding over a network
— This work considers the problem of transmitting multiple compressible sources over a network with minimum cost. The problem is complicated by the fact that the description of t...
Aditya Ramamoorthy
LICS
2012
IEEE
13 years 9 months ago
Near Unanimity Constraints Have Bounded Pathwidth Duality
—We show that if a finite relational structure has a near unanimity polymorphism, then the constraint satisfaction problem with that structure as its fixed template has bounded...
Libor Barto, Marcin Kozik, Ross Willard