1102 search results - page 28 / 221 » Generalizing Updates: From Models to Programs |
115
click to vote
CIKM
2010
Springer
15 years 1 months ago
2010
Springer
Scientists depend on literature search to find prior work that is relevant to their research ideas. We introduce a retrieval model for literature search that incorporates a wide ...
CGF
2000
15 years 3 months ago
2000
Geometric acoustic modeling systems spatialize sounds according to reverberation paths from a sound source to a receiver to give an auditory impression of a virtual 3D environment...
124
click to vote
AAAI
1990
15 years 4 months ago
1990
An equational approach to the synthesis of functional and logic programs is taken. Typically, a target program contains equations that are only true in the standard model of the g...
123
click to vote
POPL
2010
ACM
16 years 17 days ago
2010
ACM
d by recent research in abstract model checking, we present a new approach to inferring dependent types. Unlike many of the existing approaches, our approach does not rely on prog...
147
click to vote
CCGRID
2006
IEEE
15 years 7 months ago
2006
IEEE
Abstract-- The development of high performance parallel applications for clusters is considered a complex task. This can happen because the influence of the execution environment a...