4190 search results - page 252 / 838 » Type Class Directives |
127
Voted
EVOW
2009
Springer
15 years 11 months ago
2009
Springer
Dynamic time-linkage problems (DTPs) are common types of dynamic optimization problems where "decisions that are made now ... may in‡uence the maximum score that can be obta...
133
click to vote
FOSSACS
2009
Springer
15 years 11 months ago
2009
Springer
We introduce a new kind of tree automaton, a dependency tree automaton, that is suitable for deciding properties of classes of terms with binding. Two kinds of such automaton are d...
111
click to vote
ICDAR
2009
IEEE
15 years 11 months ago
2009
IEEE
Many types of degradation can render ancient manuscripts very hard to read. In bleed-through, the text from the reverse, or verso, side of a page seeps through into the front, or ...
129
click to vote
TOOLS
2008
IEEE
15 years 11 months ago
2008
IEEE
Object composition is often advocated as a more flexible alternative to standard class inheritance since it takes place at run-time, thus permitting to specialize the behavior of ...
120
click to vote
CSFW
2006
IEEE
15 years 10 months ago
2006
IEEE
The problem of information flow in multithreaded programs remains an important open challenge. Existing approaches to specifying and enforcing information-flow security often su...