13987 search results - page 320 / 2798 » The Two Guards Problem |
158
click to vote
FCT
2009
Springer
16 years 1 months ago
2009
Springer
In social network theory, a simple graph G is called k-role assignable if there is a surjective mapping that assigns a number from {1, . . . , k} called a role to each vertex of G ...
167
click to vote
EH
2005
IEEE
16 years 11 days ago
2005
IEEE
The scalability problem is a major impediment to the use of hardware evolution for real-world circuit design problems. A potential solution is to model the map between genotype an...
177
click to vote
BIRTHDAY
2004
Springer
16 years 4 days ago
2004
Springer
Abstract. This paper is on the automation of knowledge-intensive tasks in engineering domains; here, the term “task” relates to analysis and synthesis tasks, such as diagnosis ...
165
click to vote
CSLP
2004
Springer
15 years 10 months ago
2004
Springer
Many tasks in computational linguistics can be regarded as configuration problems. In this paper, we introduce the notion of lexicalised multi-dimensional configuration problems (l...
170
click to vote
FLAIRS
2004
15 years 8 months ago
2004
We present a tool for commonsense reasoning in the classical logic event calculus using satisfiability. We describe the tool, which takes event calculus reasoning problems as inpu...