13734 search results - page 2423 / 2747 » Abstractions of data types |
148
click to vote
SEMWEB
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. In this paper, we present an evaluation of four knowledge base systems (KBS) with respect to use in large OWL applications. To our knowledge, no experiment has been done ...
172
click to vote
TACAS
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. The Succinct Solver Suite offers two analysis engines for solving data and control flow problems expressed in clausal form in a large fragment of first order logic. Th...
180
click to vote
UPP
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. Traditionally, autonomic computing is envisioned as replacing the human factor in the deployment, administration and maintenance of computer systems that are ever more co...
182
click to vote
VMCAI
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. Java is a very successful programming language which is also becoming widespread in embedded systems, where software correctness is critical. Jlint is a simple but highly...
201
click to vote
WABI
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. Haplotype inference problem asks for a set of haplotypes explaining a given set of genotypes. Popular software tools for haplotype inference (e.g., PHASE, HAPLOTYPER) as ...