8699 search results - page 283 / 1740 » Elements of the Theory of Computation |
164
Voted
COCOON
2003
Springer
15 years 12 months ago
2003
Springer
Abstract. We show that finding roots of Boolean matrices is an NPhard problem. This answers a twenty year old question from semigroup theory. Interpreting Boolean matrices as dire...
158
click to vote
ECAI
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. We propose a logic-based approach to automated oneshot multi-issue bilateral negotiation. We use logic in two ways: (1) a logic theory to represent relations among issues...
169
click to vote
DICTA
2007
15 years 8 months ago
2007
A scheme, named tower of knowledge (ToK), is proposed for interpreting 3D scenes. The ToK encapsulates causal dependencies between object appearance and functionality. We demonstr...
143
click to vote
COLING
1994
15 years 8 months ago
1994
t This paper describes how recent linguistic results in explaining Japanese short and long distance scram hling (:an be directly incorporated into an existing principles-and-parame...
150
click to vote
PROCEDIA
2010
15 years 5 months ago
2010
The study of ant navigation is a rich source of empirical data and speculative theories that has been well-documented in the scientific literature. We describe and illustrate how ...