2223 search results - page 224 / 445 » Events in Property Patterns |
144
click to vote
AI
2004
Springer
15 years 4 months ago
2004
Springer
Most logic-based AI research works at a meta-theoretical level, producing new logics and studying their properties. Little effort is made to show how these logics can be used to f...
120
click to vote
JAIR
2002
15 years 4 months ago
2002
The problem of organizing information for multidocument summarization so that the generated summary is coherent has received relatively little attention. While sentence ordering f...
123
click to vote
RTS
2008
15 years 4 months ago
2008
The aim of this paper is to show, how a multitasking application running under a real-time operating system compliant with an OSEK/VDX standard can be modeled by timed automata. Th...
111
click to vote
SCHOLARPEDIA
2008
15 years 4 months ago
2008
We consider an ergodic process on finitely many states, with positive entropy. Our first main result asserts that the distribution function of the normalized waiting time for the f...
142
click to vote
TRUST
2010
Springer
15 years 3 months ago
2010
Springer
The TPM is a fairly passive entity. As a result, it can be difficult to involve the TPM in measurements of software trustworthiness beyond simple load-time hashing of static progra...