7431 search results - page 235 / 1487 » Temporal Information Extraction |
166
click to vote
TCS
2008
15 years 6 months ago
2008
Temporal logics and model-checking have proved successful to respectively express biological properties of complex biochemical systems, and automatically verify their satisfaction...
176
click to vote
SIGMOD
2011
ACM
14 years 9 months ago
2011
ACM
Considering a broad definition for service contracts (beyond web services and software, e.g. airline tickets and insurance policies), we tackle the challenges of building a high ...
181
click to vote
ASPLOS
2006
ACM
16 years 15 days ago
2006
ACM
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...
204
click to vote
SPIRE
1999
Springer
15 years 10 months ago
1999
Springer
In this paper, we propose an innovative approach to extracting semi-structured data from Web sources. The idea is to collect a couple of example objects from the user and to use t...
168
click to vote
ER
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. The Semantic Web promises to provide timely, targeted access to user-specified information online. Though standardized services exist for performing this work, specifying...