5864 search results - page 306 / 1173 » Can We Work around Numerical Methods |
208
click to vote
CORR
2000
Springer
15 years 7 months ago
2000
Springer
-BASED ABSTRACT INTERPRETATION OF PROLOG1 BAUDOUIN LE CHARLIER, SABINA ROSSI, AND PASCAL VAN HENTENRYCK . Abstract interpretation is a general methodology for systematic developmen...
195
Voted
WSCG
2003
15 years 8 months ago
2003
Interactive and realistic rendering of various effects which are appeared in the real world paintings can be used for several applications such as animation or education. For West...
295
click to vote
ASPLOS
2009
ACM
16 years 8 months ago
2009
ACM
Abstract: Modeling the interactions of biological molecules, or docking, is critical to both understanding basic life processes and to designing new drugs. Here we describe the GPU...
203
click to vote
MDM
2009
Springer
16 years 2 months ago
2009
Springer
—A nearest neighbor query is an important notion in spatial databases and moving object databases. In the emerging application fields of moving object technologies, such as mobi...
179
Voted
ICCS
2004
Springer
16 years 25 days ago
2004
Springer
Abstract. In this paper we introduce a numerical procedure for performing dynamic data driven simulations (DDDAS). The main ingredient of our simulation is the multiscale interpola...