2409 search results - page 311 / 482 » On Extended Regular Expressions |
140
click to vote
SIGOPSE
2004
ACM
16 years 1 days ago
2004
ACM
Abstract: Designing and managing dependable systems is a difficult endeavor. In this paper, we describe challenges in this vast problem space, including provisioning and allocatin...
175
click to vote
CIVR
2004
Springer
16 years 7 hour ago
2004
Springer
Abstract. In this paper we describe ImageCLEF1, the cross language image retrieval track of the Cross Language Evaluation Forum (CLEF3). We instigated and ran a pilot experiment in...
186
click to vote
DIAGRAMS
2004
Springer
16 years 4 hour ago
2004
Springer
An important aim of diagrammatic reasoning is to make it easier for people to create and understand logical arguments. We have worked on spider diagrams, which visually express log...
158
click to vote
ICALP
2004
Springer
15 years 12 months ago
2004
Springer
In multi-valued model checking, a temporal logic formula is interpreted relative to a structure not as a truth value but as a lattice element. In this paper we present new algorith...
160
click to vote
ICALP
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. We consider a finitary procedural programming language (finite data-types, no recursion) extended with parallel composition and binary semaphores. Having first shown t...