1737 search results - page 111 / 348 » On Interpolation in Existence Logics |
212
click to vote
FROCOS
2000
Springer
15 years 10 months ago
2000
Springer
This paper describes a high-level implementation of the concurrent constraint functional logic language Curry. The implementation, directed by the lazy pattern matching strategy of...
167
click to vote
CORR
2010
Springer
15 years 1 months ago
2010
Springer
Combinational or Classical logic circuits dissipate heat for every bit of information that is lost. Information is lost when the input vector cannot be recovered from its correspon...
192
click to vote
CVPR
2010
IEEE
15 years 12 months ago
2010
IEEE
Most existing approaches for learning action models work by extracting suitable low-level features and then training appropriate classifiers. Such approaches require large amount...
244
click to vote
TVCG
2008
15 years 6 months ago
2008
Developments in optical microscopy imaging have generated large high-resolution datasets that have spurred medical researchers to conduct investigations into mechanisms of disease,...
153
click to vote
TVCG
2008
15 years 6 months ago
2008
Vector field analysis plays a crucial role in many engineering applications, such as weather prediction, tsunami and hurricane study, and airplane and automotive design. Existing ...