9842 search results - page 160 / 1969 » Problem complexity |
118
click to vote
METAINFORMATICS
2004
Springer
15 years 7 months ago
2004
Springer
This paper is focusing on some interesting issues about service publicity and usability while trying to move from the classic Open Hypermedia Systems (OHSs) to structural aware env...
102
click to vote
IAT
2005
IEEE
15 years 7 months ago
2005
IEEE
Our previous research presents a methodology of cooperative problem solving for BDI systems, based on a complete formal theory. This covers both a static part, defining individua...
101
click to vote
CAIP
1999
Springer
15 years 6 months ago
1999
Springer
We address the problem of control-based recovery of robot pose and the environmental lay-out. Panoramic sensors provide us with a 1D projection of characteristic features of a 2D ...
92
Voted
ANTS
2004
Springer
15 years 7 months ago
2004
Springer
Given an algebraic number field K, such that [K : Q] is constant, we show that the problem of computing the units group O∗ K is in the complexity class SPP. As a consequence, w...
135
click to vote
FOCS
1999
IEEE
15 years 6 months ago
1999
IEEE
We present a simple probabilistic algorithm for solving kSAT, and more generally, for solving constraint satisfaction problems (CSP). The algorithm follows a simple localsearch pa...