Sciweavers

7 search results - page 1 / 2
» Temporal Processing with the TARSQI Toolkit
Sort
View
COLING
2008
14 years 8 days ago
Temporal Processing with the TARSQI Toolkit
We present the TARSQI Toolkit (TTK), a modular system for automatic temporal and event annotation of natural language texts. TTK identifies temporal expressions and events in natu...
Marc Verhagen, James Pustejovsky
SPIN
2001
Springer
14 years 3 months ago
Automatically Validating Temporal Safety Properties of Interfaces
Abstract. We present a process for validating temporal safety properties of software that uses a well-defined interface. The process requires only that the user state the property...
Thomas Ball, Sriram K. Rajamani
ISBI
2011
IEEE
13 years 2 months ago
Impatient MRI: Illinois Massively Parallel Acceleration Toolkit for image reconstruction with enhanced throughput in MRI
Much progress has been made in the design of efficient acquisition trajectories for high spatial and temporal resolution in magnetic resonance imaging (MRI). Additionally, signifi...
Xiao-Long Wu, Jiading Gai, Fan Lam, Maojing Fu, Ju...
ICASSP
2011
IEEE
13 years 2 months ago
Whole word discriminative point process models
This paper introduces a discriminative extension to whole-word point process modeling techniques. Meant to circumvent the strong independence assumptions of their generative prede...
Aren Jansen
WDAG
2007
Springer
132views Algorithms» more  WDAG 2007»
14 years 4 months ago
Detecting Temporal Logic Predicates on Distributed Computations
Abstract. We examine the problem of detecting nested temporal predicates given the execution trace of a distributed program. We present a technique that allows efficient detection ...
Vinit A. Ogale, Vijay K. Garg