2308 search results - page 318 / 462 » Categorial Semantics For LFG |
220
click to vote
FOAL
2009
ACM
16 years 29 days ago
2009
ACM
Aspect-oriented programming (AOP) fosters the coding of tangled concerns in separated units that are then woven together in the executable system. Unfortunately, the oblivious nat...
155
click to vote
ICUIMC
2009
ACM
16 years 29 days ago
2009
ACM
Although documents have hundreds of thousands of unique words, only a small number of words are significantly useful for intelligent services. For this reason, feature extraction ...
147
click to vote
ISSTA
2009
ACM
16 years 29 days ago
2009
ACM
Atomicity is a key correctness specification for multithreaded programs. Prior dynamic atomicity analyses include precise tools, which report an error if and only if the observed...
149
click to vote
ISSTA
2009
ACM
16 years 29 days ago
2009
ACM
This paper explores an approach to improving the practical usability of static verification tools for debugging synchronization idioms. Synchronization idioms such as mutual excl...
154
click to vote
KCAP
2009
ACM
16 years 29 days ago
2009
ACM
Ontologies are conceptual models of particular domains, and domains can be modeled differently, representing different opinions, beliefs or perspectives. In other terms, ontolog...