Sciweavers

498 search results - page 13 / 100
» From Language to Time: A Temporal Expression Anchorer
Sort
View
ASPLOS
2006
ACM
15 years 5 months ago
Temporal search: detecting hidden malware timebombs with virtual machines
Worms, viruses, and other malware can be ticking bombs counting down to a specific time, when they might, for example, delete files or download new instructions from a public we...
Jedidiah R. Crandall, Gary Wassermann, Daniela A. ...
ICTL
1994
15 years 3 months ago
Completeness through Flatness in Two-Dimensional Temporal Logic
We introduce a temporal logic TAL and prove that it has several nice features. The formalism is a two-dimensional modal system in the sense that formulas of the language are evalua...
Yde Venema
LREC
2010
146views Education» more  LREC 2010»
15 years 1 months ago
Online Temporal Language Model Adaptation for a Thai Broadcast News Transcription System
This paper investigates the effectiveness of online temporal language model adaptation when applied to a Thai broadcast news transcription task. Our adaptation scheme works as fol...
Kwanchiva Saykham, Ananlada Chotimongkol, Chai Wut...
ICDE
1994
IEEE
87views Database» more  ICDE 1994»
15 years 3 months ago
Implementing Calendars and Temporal Rules in Next Generation Databases
In applications like nancial trading, scheduling, manufacturing and process control, time based predicates in queries and rules are very important. There is also a need to de ne ...
Rakesh Chandra, Arie Segev, Michael Stonebraker
KI
2006
Springer
14 years 11 months ago
GeTS - A Specification Language for Geo-Temporal Notions
This document describes the `Geo-Temporal' specification language GeTS. The objects which can be described and manipulated with this language are time points, crisp and fuzzy...
Hans Jürgen Ohlbach