3040 search results - page 259 / 608 » Independent Natural Extension |
178
click to vote
LPAR
2005
Springer
16 years 9 days ago
2005
Springer
Abstract. The main goal of this paper is to apply rewriting termination technology —enjoying a quite mature set of termination results and tools— to the problem of proving auto...
139
click to vote
OOPSLA
2005
Springer
16 years 8 days ago
2005
Springer
Predicate fields allow an object’s structure to vary at runtime based on the object’s state: a predicate field is present or not, depending on the values of other fields. P...
186
click to vote
PCI
2005
Springer
16 years 8 days ago
2005
Springer
The increasing popularity of all-optical networks has led to extensive research on the routing and wavelength assignment problem, also termed as the Routing and Path Coloring probl...
161
click to vote
FSTTCS
2004
Springer
16 years 5 days ago
2004
Springer
Abstract. Monolithic finite-state probabilistic programs have been abstractly modeled by finite Markov chains, and the algorithmic verification problems for them have been inves...
180
click to vote
KR
2004
Springer
16 years 5 days ago
2004
Springer
Simple Conceptual Graphs (SGs) are used to represent entities and relations between these entities: they can be translated into positive, conjunctive, existential first-order log...