1684 search results - page 198 / 337 » The lexicographic decision function |
79
Voted
TACAS
2001
Springer
15 years 5 months ago
2001
Springer
Abstract. Checking for language containment between nondeterministic ω-automata is a central task in automata-based hierarchical verification. We present a symbolic procedure for...
80
Voted
DOLAP
1999
ACM
15 years 5 months ago
1999
ACM
Data Warehousing for INventory management DWIN is a production project at Telcordia aimed at providing telecommunications service providers with decision support functions for i...
109
Voted
VRML
1998
ACM
15 years 5 months ago
1998
ACM
This paper discusses the history and design decisions behind OpenWorlds, the first C++ toolkit for VRML 2.0 integration. OpenWorlds is a highly extensible set of libraries which s...
94
Voted
HPDC
1994
IEEE
15 years 4 months ago
1994
IEEE
Partitioning data parallel computations across a network of heterogeneous workstations is a dificult problem for the user: We have developed a runtime partitioning methodfor choos...
111
click to vote
PLILP
1993
Springer
15 years 4 months ago
1993
Springer
Many recent proposals for the integration of functional and logic programming use conditional term rewriting systems (CTRS) as programs and narrowing as goal solving mechanism. Thi...