3825 search results - page 412 / 765 » The Language of Time: A Reader |
192
click to vote
CONCUR
2004
Springer
16 years 6 days ago
2004
Springer
We describe the expressive power of temporal branching time logics that use the modalities EX and EF. We give a forbidden pattern characterization of the tree languages definable...
166
click to vote
COCO
2004
Springer
15 years 10 months ago
2004
Springer
Juedes and Lutz (1995) proved a small span theorem for polynomial-time many-one reductions in exponential time. This result says that for language A decidable in exponential time,...
190
click to vote
ASPLOS
2008
ACM
15 years 8 months ago
2008
ACM
Memory errors are a notorious source of security vulnerabilities that can lead to service interruptions, information leakage and unauthorized access. Because such errors are also ...
200
click to vote
BMCBI
2006
15 years 6 months ago
2006
Background: Bioinformatics applications are now routinely used to analyze large amounts of data. Application development often requires many cycles of optimization, compiling, and...
233
click to vote
BMCBI
2004
15 years 6 months ago
2004
Background: Researchers who use MEDLINE for text mining, information extraction, or natural language processing may benefit from having a copy of MEDLINE that they can manage loca...