5451 search results - page 216 / 1091 » Typed Operational Semantics |
146
click to vote
BIS
2009
15 years 5 months ago
2009
The field of Semantic Business Process Management (SBPM) has refuelled interest in using ontologies for the representation of the static and dynamic aspects of an enterprise and va...
123
Voted
ATAL
2005
Springer
15 years 9 months ago
2005
Springer
Information processing operations in support of intelligence analysis are of two kinds. They may sift relevant data from a larger body, thus reducing its quantity, or sort that dat...
127
click to vote
USENIX
2008
15 years 6 months ago
2008
Striping is a technique that distributes file content over multiple storage servers and thereby enables parallel access. In order to be able to provide a consistent view across fi...
149
click to vote
TREC
2001
15 years 5 months ago
2001
PiQASso is a Question Answering system based on a combination of modern IR techniques and a series of semantic filters for selecting paragraphs containing a justifiable answer. Se...
140
click to vote
POPL
2010
ACM
16 years 1 months ago
2010
ACM
We present a verified compiler to an idealized assembly language from a small, untyped functional language with mutable references and exceptions. The compiler is programmed in th...