5671 search results - page 999 / 1135 » A Semantic Approach to Interpolation |
165
click to vote
GPCE
2005
Springer
16 years 1 days ago
2005
Springer
Abstract. The past decade of experience has demonstrated that the generic programming methodology is highly effective for the design, implementation, and use of large-scale softwar...
167
click to vote
ICLP
2005
Springer
16 years 1 days ago
2005
Springer
Abstract. In recent work, a general framework for specifying program correspondences under the answer-set semantics has been defined. The framework allows to define different not...
176
click to vote
ICMI
2005
Springer
16 years 1 days ago
2005
Springer
Experience shows that decisions in the early phases of the development of a multimodal system prevail throughout the life-cycle of a project. The distributed architecture and the ...
182
click to vote
ICWL
2005
Springer
16 years 23 hour ago
2005
Springer
We have previously developed a collaborative virtual environment (CVE) for small-group virtual classrooms, intended for distance learning by geographically dispersed students. The...
165
click to vote
ISMDA
2005
Springer
16 years 20 hour ago
2005
Springer
Abstract. Ontology is the talk of the day in the medical informatics comm.unity. Its relevant role in the design and implementation of information systems in health care is now wid...