2308 search results - page 375 / 462 » Categorial Semantics For LFG |
137
click to vote
SAC
2009
ACM
16 years 1 months ago
2009
ACM
The use of controlled structured vocabularies for annotation purposes, such as the Gene Ontology (GO) is currently one of the strategies to cope with the increasingly cumbersome t...
141
click to vote
CCS
2009
ACM
16 years 29 days ago
2009
ACM
In both commercial and defense sectors a compelling need is emerging for rapid, yet secure, dissemination of information to the concerned actors. Traditional approaches to informa...
172
click to vote
PPDP
2009
Springer
16 years 22 days ago
2009
Springer
The construction of reliable concurrent and distributed systems is an extremely difficult endeavour. For complex systems, it requires modular development strategies based on prec...
206
click to vote
HASKELL
2009
ACM
16 years 21 days ago
2009
ACM
We address the problem of reasoning about Haskell programs that use Software Transactional Memory (STM). As a motivating example, we consider Haskell code for a concurrent non-det...
180
click to vote
ISSTA
2009
ACM
16 years 21 days ago
2009
ACM
Exception analysis and points-to analysis are typically done in complete separation. Past algorithms for precise exception analysis (e.g., pairing throw clauses with catch stateme...