1134 search results - page 108 / 227 » Composing Tests from Examples |
239
click to vote
POPL
2009
ACM
16 years 3 months ago
2009
ACM
This paper describes an inter-procedural technique for computing symbolic bounds on the number of statements a procedure executes in terms of its scalar inputs and user-defined qu...
122
click to vote
AGTIVE
1999
Springer
15 years 7 months ago
1999
Springer
A suitable software architecture –for example in the area of distributed application– can be composed of known-to-work solutions. These are also known as design patterns. Howev...
141
click to vote
BMCBI
2006
15 years 3 months ago
2006
Background: Recent progress in cDNA and EST sequencing is yielding a deluge of sequence data. Like database search results and proteome databases, this data gives rise to inferred...
133
click to vote
CEC
2010
IEEE
15 years 4 months ago
2010
IEEE
Problems in which some entities interact with each other are common in computational intelligence. This scenario, typical for co-evolving artificial-life agents, learning strategie...
114
click to vote
MICCAI
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. This paper introduces a new method to detect group differences in brain images based on spatially regularized support vector machines (SVM). First, we propose to spatial...