2409 search results - page 83 / 482 » Logical systems for structured specifications |
143
click to vote
CLEF
2006
Springer
15 years 8 months ago
2006
Springer
This paper describes in detail the combination of NLP methods applied to the treatment of logic forms in the topic processing and statistical methods applied to the search engine ...
285
click to vote
OOPSLA
2004
Springer
15 years 10 months ago
2004
Springer
Radio Frequency Identification (RFID) technology provides the means to track any object, any time, anywhere with Electronic Product Codes (EPC). A major consequence of this techno...
126
click to vote
FORTE
2004
15 years 6 months ago
2004
Abstract. We propose a framework for intrusion detection that is based on runtime monitoring of temporal logic specifications. We specify intrusion patterns as formulas in an expre...
128
click to vote
ICDAR
2003
IEEE
15 years 10 months ago
2003
IEEE
Structure analysis of table form document is important because printed documents and also electronical documents only provide geometrical layout and lexical information explicitly...
159
click to vote
DLOG
2006
15 years 6 months ago
2006
Abstract. Model checking is a fully automated technique for determining whether the behaviour of a finite-state reactive system satisfies a temporal logic specification. Despite th...