3706 search results - page 229 / 742 » OntoComP System Description |
178
click to vote
CAV
2005
Springer
15 years 12 months ago
2005
Springer
ORCHIDS is an intrusion detection tool based on techniques for fast, on-line model-checking. Temporal formulae are taken from a temporal logic tailored to the description of intrus...
147
click to vote
COMPSAC
2002
IEEE
15 years 11 months ago
2002
IEEE
The paper discusses a formal approach for specifying time-dependent Web applications and proposes a Markov model for reliability prediction. Measures for predicting reliability ar...
161
click to vote
DEXAW
2004
IEEE
15 years 10 months ago
2004
IEEE
In order to obtain a suitable model of the universe of discourse of some information systems, it is important to allow the description of imprecise objects with temporal indetermi...
138
click to vote
AAAI
2008
15 years 8 months ago
2008
In this paper, we propose a machine learning-based NLP system for automatically creating animated storyboards using the action descriptions of movie scripts. We focus particularly...
183
click to vote
CAV
2008
Springer
15 years 8 months ago
2008
Springer
This is the first system description of the Barcelogic SMT solver, which implements all techniques that our group has been developing over the last four years as well as state-of-t...