Sciweavers

3809 search results - page 301 / 762
» Associative language descriptions
Sort
View
NLPRS
2001
Springer
15 years 11 months ago
Use of a Lexical Feature Database for Partial Parsing of Chinese
The Grammatical Knowledge base of Contemporary Chinese contains detailed feature descriptions of the morphological and syntactic behavior of a more than fifty thousand Chinese wor...
Elliott Franco Drábek, Qiang Zhou
POPL
1999
ACM
15 years 11 months ago
Parametric Shape Analysis via 3-Valued Logic
hought of as abstract interpretation for the heap How we talk about the heap   Program var X points to U that has an N field pointing to V   We use first order predicate logic ¡...
Shmuel Sagiv, Thomas W. Reps, Reinhard Wilhelm
ECOOP
1995
Springer
15 years 10 months ago
Interface-Based Protocol Specification of Open Systems using PSL
PSL is a framework for describing dynamic and architectural properties of open systems. PSL extends established interface-based tactics for describing the functional properties of...
Doug Lea, Jos Marlowe
OOGRAPHICS
1995
15 years 10 months ago
Object-Oriented Design for Image Synthesis
The structure of the image synthesis process naturally leads to the use of object-oriented software design and many existing rendering systems are based on some kind of object-orie...
Philipp Slusallek, Hans-Peter Seidel
BPM
2008
Springer
138views Business» more  BPM 2008»
15 years 8 months ago
BPEL for REST
Novel trends in Web services technology challenge the assumptions made by current standards for process-based service composition. Most RESTful Web service APIs, which do not rely ...
Cesare Pautasso