1802 search results - page 201 / 361 » Model-based Theory Combination |
108
Voted
ICALP
2007
Springer
15 years 8 months ago
2007
Springer
In this paper we present the theory and practice of co-logic programming (co-LP for brevity), a paradigm that combines both inductive and coinductive logic programming. Co-LP is a ...
103
click to vote
ICWE
2007
Springer
15 years 8 months ago
2007
Springer
Combining expressiveness and plainness in the design of web documents is a difficult task. Validation languages are very powerful and designers are tempted to over-design specific...
140
click to vote
SCALESPACE
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. The Mumford-Shah functional minimization, and related algorithms for image segmentation, involve a tradeoff between a twodimensional image structure and one-dimensional ...
101
Voted
SEMWEB
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. Ontology mapping is the key to data interoperability in the semantic web. This problem has received a lot of research attention, however, the research emphasis has been m...
123
Voted
VMCAI
2007
Springer
15 years 8 months ago
2007
Springer
Interpolation is an important component of recent methods for program verification. It provides a natural and effective means for computing separation between the sets of ‘good...