1134 search results - page 108 / 227 » Composing Tests from Examples |
189
click to vote
POPL
2009
ACM
15 years 12 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...
AGTIVE
1999
Springer
15 years 3 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...
108
click to vote
BMCBI
2006
14 years 11 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...
103
click to vote
CEC
2010
IEEE
15 years 11 days 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...
MICCAI
2010
Springer
14 years 9 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...