675 search results - page 123 / 135 » New reals: Can live with them, can live without them |
ICS
2005
Tsinghua U.
14 years 1 months ago
2005
Tsinghua U.
Performance simulation tools must be validated during the design process as functional models and early hardware are developed, so that designers can be sure of the performance of...
VLDB
2004
ACM
14 years 27 days ago
2004
ACM
The use of inaccurate or outdated database statistics by the query optimizer in a relational DBMS often results in a poor choice of query execution plans and hence unacceptably lo...
SMA
2003
ACM
14 years 24 days ago
2003
ACM
This paper presents a new method to compute constructive solid geometry (CSG) tree representations of an object whose faces consist of planar and non-planar surfaces. The algorith...
BMCBI
2007
13 years 7 months ago
2007
Background: Docking algorithms are developed to predict in which orientation two proteins are likely to bind under natural conditions. The currently used methods usually consist o...
OOPSLA
2010
Springer
13 years 6 months ago
2010
Springer
We propose a new way to raise the level of discourse in the programming process: permit ambiguity, but manage it by linking it to unambiguous examples. This allows programming env...