3573 search results - page 507 / 715 » Reasoning about Codata |
160
click to vote
SIGIR
2010
ACM
15 years 9 months ago
2010
ACM
Dwell time on Web pages has been extensively used for various information retrieval tasks. However, some basic yet important questions have not been sufficiently addressed, e.g., ...
177
click to vote
GROUP
2007
ACM
15 years 9 months ago
2007
ACM
One of the reasons large-scale software development is difficult is the number of dependencies that software engineers face. These dependencies create a need for communication and...
127
click to vote
HASKELL
2007
ACM
15 years 9 months ago
2007
ACM
Quasiquoting allows programmers to use domain specific syntax to construct program fragments. By providing concrete syntax for complex data types, programs become easier to read, ...
134
click to vote
FASE
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. We present a novel algorithm for interface generation of software components. Given a component, our algorithm uses learning techniques to compute a permissive interface ...
171
click to vote
ICCAD
2007
IEEE
15 years 9 months ago
2007
IEEE
Stepwise refinement is at the core of many approaches to synthesis and optimization of hardware and software systems. For instance, it can be used to build a synthesis approach for...