3228 search results - page 519 / 646 » Basics of Compiler Design |
132
click to vote
PLDI
2010
ACM
15 years 7 months ago
2010
ACM
Applications composed of multiple parallel libraries perform poorly when those libraries interfere with one another by obliviously using the same physical cores, leading to destru...
97
Voted
SCA
2007
15 years 6 months ago
2007
Recent efforts to visually capture the phenomena of boiling have proposed monolithic approaches that extend the basic techniques underlying existing fluid solvers. In this work, w...
134
click to vote
AIPS
2008
15 years 6 months ago
2008
The POMDP is considered as a powerful model for planning under uncertainty. However, it is usually impractical to employ a POMDP with exact parameters to model precisely the real-...
161
click to vote
DLOG
2007
15 years 6 months ago
2007
In Description Logics (DLs), both tableau-based and automata-based algorithms are frequently used to show decidability and complexity results for basic inference problems such as c...
153
click to vote
FLAIRS
2008
15 years 6 months ago
2008
The problem of recognizing textual entailment (RTE) has been recently addressed using syntactic and lexical models with some success. Here, we further explore this problem, this t...