20441 search results - page 3638 / 4089 » Locally Computable Structures |
147
Voted
PADL
2010
Springer
16 years 1 months ago
2010
Springer
Abstract. We study a number of embedded DSLs for autonomous ordinary differential equations (autonomous ODEs) in Haskell. A naive implementation based on the lazy tower of derivat...
149
click to vote
IUI
2010
ACM
16 years 1 months ago
2010
ACM
When editing a story from a large collection of media, such as photos and video clips captured from daily life, it is not always easy to understand how particular scenes fit into ...
141
click to vote
FPGA
2010
ACM
16 years 1 months ago
2010
ACM
Monte Carlo based SSTA serves as the golden standard against alternative SSTA algorithms, but it is seldom used in practice due to its high computation time. In this paper, we acc...
125
click to vote
WWW
2010
ACM
15 years 12 months ago
2010
ACM
Our study addresses the problem of large-scale contradiction detection and management, from data extracted from the Web. We describe the first systematic solution to the problem,...
149
click to vote
CISIS
2010
IEEE
15 years 11 months ago
2010
IEEE
— In pervasive environment, it is essential for computing applications to be context-aware. However, one of the major challenges is the establishment of a generic and dynamic con...