4555 search results - page 98 / 911 » Deductive Algorithmic Knowledge |
ATAL
2005
Springer
14 years 4 months 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 ...
AIMDM
1999
Springer
14 years 2 months ago
1999
Springer
This paper describes an approach to the detection of events in complex, multi-channel, high frequency data. The example used is that of detecting the re-siting of a transcutaneous ...
KDD
1994
ACM
14 years 2 months ago
1994
ACM
: The problem of transforming the knowledge bases of performance systems using induced rules or decision trees into comprehensible knowledgestructures is addressed. A knowledgestru...
AAAI
2008
14 years 22 days ago
2008
Existing methods for single document keyphrase extraction usually make use of only the information contained in the specified document. This paper proposes to use a small number o...
DAGM
2006
Springer
14 years 10 days ago
2006
Springer
Abstract. The paper presents an unsupervised method for partiallyblurred image restoration without influencing unblurred regions or objects. Maximum a posteriori estimation of para...