Sciweavers

3809 search results - page 367 / 762
» Associative language descriptions
Sort
View
POPL
2012
ACM
14 years 2 months ago
Analysis of recursively parallel programs
We propose a general formal model of isolated hierarchical parallel computations, and identify several fragments to match the concurrency constructs present in real-world programm...
Ahmed Bouajjani, Michael Emmi
ECIR
2009
Springer
16 years 4 months ago
Risk-Aware Information Retrieval
Probabilistic retrieval models usually rank documents based on a scalar quantity. However, such models lack any estimate for the uncertainty associated with a document’s rank. Fu...
Jianhan Zhu, Jun Wang, Michael J. Taylor, Ingemar ...
CONCUR
2004
Springer
16 years 7 days ago
Session Types for Functional Multithreading
We define a language whose type system, incorporating session types, allows complex protocols to be specified by types and verified by static typechecking. A session type, asso...
Vasco Thudichum Vasconcelos, António Ravara...
ICALP
2010
Springer
15 years 11 months ago
Automata for Coalgebras: An Approach Using Predicate Liftings
Universal Coalgebra provides the notion of a coalgebra as the natural mathematical generalization of state-based evolving systems such as (infinite) words, trees, and transition s...
Gaëlle Fontaine, Raul Andres Leal, Yde Venema
ACL
1998
15 years 8 months ago
Trigger-Pair Predictors in Parsing and Tagging
In this article, we apply to natural language parsing and tagging the device of triggerpair predictors, previously employed exclusively within the field of language modelling for ...
Ezra Black, Andrew M. Finch, Hideki Kashioka