Type

Database

Creator

Date

Thumbnail

Search results

80 records were found.

Comment: presented at NOW 2004, 5 pages, 7 figures
Comment: 10 pages, 4 figures. Extended version of report given at the IInd Workshop on Matter and anti-Matter, Trento, Oct. 2001
Comment: 8 pages, 2 figures, Proc. 12th International Conference on Nuclear Reaction Mechanisms, Varenna, Italy, June 15 - 19 2009
In this paper, we focus our attention on the interval temporal logic of the Allen's relations "meets", "begins", and "begun by" (ABBar for short), interpreted over natural numbers. We first introduce the logic and we show that it is expressive enough to model distinctive interval properties,such as accomplishment conditions, to capture basic modalities of point-based temporal logic, such as the until operator, and to encode relevant metric constraints. Then, we prove that the satisfiability problem for ABBar over natural numbers is decidable by providing a small model theorem based on an original contraction method. Finally, we prove the EXPSPACE-completeness of the problem
Comment: 28 pages, 11 figures. To be submitted to Astoparticle Physics
Comment: Presented at TAUP2001 (Sep. 8-12, Assergi, Italy). 5 pages, 1 figure
Comment: Papper has been corrected since the cosine of Zenith angle in flux tables was erraneously inverted. Also, fig. 17 and 18 have been corrected
Want to know more?If you want to know more about this cutting edge product, or schedule a demonstration on your own organisation, please feel free to contact us or read the available documentation at http://www.keep.pt/produtos/retrievo/?lang=en