500 search results - page 35 / 100 » Quantified Conditionals and Compositionality |
ARTS
1999
Springer
13 years 11 months ago
1999
Springer
In this paper we study the issue of progress for distributed timed systems modeled as the parallel composition of timed automata. We clarify the requirements of discrete progress (...
CDC
2008
IEEE
14 years 1 months ago
2008
IEEE
Abstract— This work provides a framework for the observability analysis of linear networked dynamic systems (NDS). A distinction is made between NDS that have homogeneous agent d...
AISC
2006
Springer
13 years 11 months ago
2006
Springer
Abstract. The Complete Root Classification for a univariate polynomial with symbolic coefficients is the collection of all the possible cases of its root classification, together w...
ECAI
2008
Springer
13 years 9 months ago
2008
Springer
Determining the size of an ontology that is automatically learned from texts is an open issue. In this paper, we study the similarity between ontology concepts at different levels ...
UAI
2004
13 years 8 months ago
2004
A causal claim is any assertion that invokes causal relationships between variables, for example, that a drug has a certain e ect on preventing a disease. Causal claims are establ...