15372 search results - page 2889 / 3075 » The Semantics of Semantic Annotation |
224
Voted
POPL
2003
ACM
16 years 29 days ago
2003
ACM
We present a new polynomial-time randomized algorithm for discovering affine equalities involving variables in a program. The key idea of the algorithm is to execute a code fragme...
235
Voted
POPL
2001
ACM
16 years 29 days ago
2001
ACM
We study the interaction of the "new" construct with a rich but common form of (first-order) communication. This interaction is crucial in security protocols, which are ...
115
Voted
CADE
2006
Springer
16 years 29 days ago
2006
Springer
CEL (Classifier for EL) is a reasoner for the small description logic EL+ which can be used to compute the subsumption hierarchy induced by EL+ ontologies. The most distinguishing ...
97
Voted
STOC
2001
ACM
16 years 29 days ago
2001
ACM
Optimal program slicing determines for a statement S in a program whether or not S affects a specified set of statements, given that all conditionals in are interpreted as non-d...
182
Voted
VLDB
2004
ACM
16 years 27 days ago
2004
ACM
Technology in the field of digital media generates huge amounts of nontextual information, audio, video, and images, along with more familiar textual information. The potential for...