Sciweavers

3429 search results - page 227 / 686
» Modelling the Operational Semantics of Domain-Specific Model...
Sort
View
EACL
2003
ACL Anthology
15 years 5 months ago
Well-Nested Parallelism Constraints for Ellipsis Resolution
The Constraint Language for Lambda Structures (CLLS) is an expressive tree description language. It provides a uniform framework for underspecified semantics, covering scope, ell...
Katrin Erk, Joachim Niehren
JCIT
2010
92views more  JCIT 2010»
14 years 11 months ago
The Research of Chinese Semantic Similarity Calculation Introduced Punctuations
So far, most Chinese natural language processing neglects the punctuations or oversimplifies their functi- ons. To improve the efficiency of Chinese similarity computing, this pap...
Cheng Xian-yi, Sun Ping, Zhu Qian, Cai Yue-hong
QEST
2007
IEEE
15 years 10 months ago
Performance Trees: Expressiveness and Quantitative Semantics
—Performance Trees are a recently-proposed mechanism for the specification of performance properties and measures. They represent an attractive alternative to stochastic logics,...
Tamas Suto, Jeremy T. Bradley, William J. Knottenb...
JSYML
2006
85views more  JSYML 2006»
15 years 4 months ago
An alternative semantics for quantified relevant logic
The quantified relevant logic RQ is given a new semantics in which a formula xA is true when there is some true proposition that implies all x-instantiations of A. Formulae are mo...
Robert Goldblatt, Edwin D. Mares
IEEEPACT
2007
IEEE
15 years 10 months ago
Performance Portable Optimizations for Loops Containing Communication Operations
Effective use of communication networks is critical to the performance and scalability of parallel applications. Partitioned Global Address Space languages like UPC bring the pro...
Costin Iancu, Wei Chen, Katherine A. Yelick