2364 search results - page 457 / 473 » An Engine for Computing Well-Founded Models |
103
click to vote
SAC
2005
ACM
15 years 5 months ago
2005
ACM
More and more software projects are using COTS (Commercialoff-the-shelf) components. Using COTS components brings both advantages and risks. To manage some risks in using COTS com...
115
click to vote
VRST
2005
ACM
15 years 5 months ago
2005
ACM
This paper proposes a novel tabletop display system for natural communication and flexible information sharing. The proposed system is specifically designed for integration of 2...
112
Voted
EMSOFT
2005
Springer
15 years 5 months ago
2005
Springer
The central idea behind interface-based design is to describe components by a component interface. In contrast to a component description that describes what a component does, a c...
DOCENG
2004
ACM
15 years 5 months ago
2004
ACM
Three-way merging is a technique that may be employed for reintegrating changes to a document in cases where multiple independently modified copies have been made. While tools fo...
117
click to vote
COMPGEOM
2003
ACM
15 years 5 months ago
2003
ACM
Given a scene consisting of objects, ray shooting queries answer with the first object encountered by a given ray, and are used in ray tracing and radiosity for rendering photo-r...