7335 search results - page 1005 / 1467 » Scene Based Reasoning |
204
click to vote
ACIVS
2005
Springer
16 years 12 days ago
2005
Springer
Binary and grayscale mathematical morphology have many applications in different area. On the other hand, colour morphology is not widespread. The reason is the lack of a unique o...
198
click to vote
AIME
2005
Springer
16 years 12 days ago
2005
Springer
The UK National Health Service (NHS) is currently undergoing an intensive review into the way patient care is designed, delivered and recorded. One important element of this is the...
212
click to vote
ASP
2005
Springer
16 years 12 days ago
2005
Springer
This paper studies compositional semantics of nonmonotonic logic programs. We suppose the answer set semantics of extended disjunctive programs and consider the following problem. ...
199
click to vote
ATAL
2005
Springer
16 years 12 days ago
2005
Springer
We present TECTLK, a logic to specify knowledge and real time in multi-agent systems. We show that the model checking problem is decidable, and we present an algorithm for TECTLK ...
137
click to vote
CALCO
2005
Springer
16 years 12 days ago
2005
Springer
In the specific situation of formal reasoning concerned with “regular expression equivalence” we address instances of more general questions such as: how can coinductive argum...