6800 search results - page 839 / 1360 » Testing with Functions as Specifications |
163
click to vote
SDM
2009
SIAM
16 years 4 months ago
2009
SIAM
This paper is concerned with the task of travel-time prediction for an arbitrary origin-destination pair on a map. Unlike most of the existing studies, which focus only on a parti...
175
click to vote
PADL
2010
Springer
16 years 3 months ago
2010
Springer
Abstract. We show how testing convertibility of two types in dependently typed systems can advantageously be implemented instead untyped normalization by evaluation, thereby reusin...
179
click to vote
ISBI
2009
IEEE
16 years 1 months ago
2009
IEEE
This paper introduces an adaptive level set method for 3D segmentation of colon tissue in CT colonography filled with air and opacified fluid. First, most of the opacified liq...
196
click to vote
ICML
2009
IEEE
16 years 1 months ago
2009
IEEE
Virtually all methods of learning dynamic systems from data start from the same basic assumption: that the learning algorithm will be provided with a sequence, or trajectory, of d...
168
click to vote
EDBT
2009
ACM
16 years 1 months ago
2009
ACM
We introduce a controlled form of recursion in XQuery, an inflationary fixed point operator, familiar from the context of relational databases. This operator imposes restriction...