3028 search results - page 190 / 606 » Integrating Temporal Logics |
234
click to vote
TACAS
2001
Springer
15 years 11 months ago
2001
Springer
Multi-valued logics support the explicit modeling of uncertainty and disagreement by allowing additional truth values in the logic. Such logics can be used for verification of dyn...
150
click to vote
IJCAI
2007
15 years 8 months ago
2007
Numerous logics have been developed for reasoning about inconsistency which differ in (i) the logic to which they apply, and (ii) the criteria used to draw inferences. In this pap...
152
click to vote
ISBI
2006
IEEE
16 years 8 months ago
2006
IEEE
Cancer is a complex disease in which a variety of phenomena interact over a wide range of spatial and temporal scales. In this article a theoretical framework will be introduced t...
205
click to vote
ICDM
2005
IEEE
16 years 24 days ago
2005
IEEE
We present a novel approach for clustering sequences of multi-dimensional trajectory data obtained from a sensor network. The sensory time-series data present new challenges to da...
166
click to vote
CSL
2000
Springer
15 years 7 months ago
2000
Springer
This paper outlines ProSynth, an approach to speech synthesis which takes a rich linguistic structure as central to the generation of natural-sounding speech. We start from the as...