633 search results - page 113 / 127 » Casting an Object with a Core |
227
click to vote
NIPS
2001
15 years 8 months ago
2001
Drawing on the correspondence between the graph Laplacian, the Laplace-Beltrami operator on a manifold, and the connections to the heat equation, we propose a geometrically motiva...
203
Voted
CORR
2008
Springer
15 years 7 months ago
2008
Springer
This paper explores the idea that the universe is a virtual reality created by information processing, and relates this strange idea to the findings of modern physics about the ph...
210
Voted
JOT
2008
15 years 7 months ago
2008
Complex software systems possess concurrent and reactive behaviors requiring precise specifications prior to development. Lamport's transition axiom method is a formal specif...
210
click to vote
CIKM
2010
Springer
15 years 6 months ago
2010
Springer
Most database systems allow query processing over attributes that are derived at query runtime (e.g., user-defined functions and remote data calls to web services), making them e...
183
click to vote
OOPSLA
2010
Springer
15 years 5 months ago
2010
Springer
Testing is among the most effective tools available for finding bugs. Still, we know of no automatic technique for generating test cases that expose bugs involving a combination ...