Sciweavers

4212 search results - page 477 / 843
» Rights Expression Languages
Sort
View
188
Voted
ESOP
2003
Springer
16 years 24 days ago
Finite Differencing of Logical Formulas for Static Analysis
Abstract. This paper concerns mechanisms for maintaining the value of an instrumentation predicate (a.k.a. derived predicate or view), defined via a logical formula over core pred...
Thomas W. Reps, Shmuel Sagiv, Alexey Loginov
ICVS
2003
Springer
16 years 24 days ago
A Self-Referential Perceptual Inference Framework for Video Interpretation
This paper presents an extensible architectural model for general content-based analysis and indexing of video data which can be customised for a given problem domain. Video interp...
Christopher Town, David Sinclair
MPC
2010
Springer
165views Mathematics» more  MPC 2010»
16 years 11 days ago
Dependently Typed Grammars
Parser combinators are a popular tool for designing parsers in functional programming languages. If such combinators generate an abstract representation of the grammar as an interm...
Kasper Brink, Stefan Holdermans, Andres Löh
203
Voted
CCS
2001
ACM
16 years 3 days ago
Formalizing GDOI group key management requirements in NPATRL
Although there is a substantial amount of work on formal requirements for two and three-party key distribution protocols, very little has been done on requirements for group proto...
Catherine Meadows, Paul F. Syverson
197
Voted
NLPRS
2001
Springer
16 years 22 hour ago
Automatic Corpus-Based Extraction of Chinese Legal Terms
This paper reports on a study involving the automatic extraction of Chinese legal terms. We used a word segmented corpus of Chinese court judgments to extract salient legal expres...
Oi Yee Kwong, Benjamin K. Tsou