1536 search results - page 247 / 308 » On the Relation between Interpreted Systems and Kripke Model... |
TSP
2010
13 years 2 months ago
2010
Abstract--This paper investigates the impulse response estimation of linear time-invariant (LTI) systems when only noisy finitelength input-output data of the system is available. ...
DOCENG
2005
ACM
13 years 9 months ago
2005
ACM
This paper presents an iterative method for generative semantic clustering of related information elements in spatial hypertext documents. The goal is to automatically organize th...
SYNTHESE
2010
13 years 6 months ago
2010
The focus of the paper is on the logic of clarity and the problem of higherorder vagueness. We first examine the consequences of the notion of intransitivity of indiscriminabilit...
ICAIL
2003
ACM
14 years 28 days ago
2003
ACM
In the last decades the interest in the problem of comparing and harmonizing legislation has been steadily increasing. One reason is the increasing legal convergence between gover...
WWW
2007
ACM
14 years 8 months ago
2007
ACM
We present YAGO, a light-weight and extensible ontology with high coverage and quality. YAGO builds on entities and relations and currently contains more than 1 million entities a...