7167 search results - page 1037 / 1434 » Answer Set Programming |
114
Voted
SEMWEB
2004
Springer
15 years 9 months ago
2004
Springer
Ontologies are seen as the solution to data heterogeneity on the web. However, the available ontologies are themselves source of heterogeneity. This can be overcome by aligning on...
158
Voted
VMCAI
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. We present a generic framework for the automatic and modular inference of sound class invariants for class-based object oriented languages. The idea is to derive a sound ...
117
Voted
WABI
2004
Springer
15 years 9 months ago
2004
Springer
—In practice, one is often faced with incomplete phylogenetic data, such as a collection of partial trees or partial splits. This paper poses the problem of inferring a phylogene...
109
Voted
XPU
2004
Springer
15 years 9 months ago
2004
Springer
Outsourcing is common for software development, and is the context for many projects using agile development processes. This paper presents two case studies concentrating on the cu...
131
Voted
COMPSAC
2003
IEEE
15 years 9 months ago
2003
IEEE
Effectiveness of testing criteria is the ability to detect failures in a software program. We consider not only effectiveness of some testing criterion in itself but a variance of...