6167 search results - page 221 / 1234 » Can Refinement be Automated |
155
click to vote
TMI
2010
15 years 4 months ago
2010
—This paper presents a procedure for automatic extraction and segmentation of a class-specific object (or region) by learning class-specific boundaries. We describe and evaluat...
176
click to vote
CAISE
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. The increasing adoption of MDD (Model Driven Development) techniques favored the use of large models of different types. It turns out that when the modeled system gets la...
146
click to vote
JAIR
2011
15 years 26 days ago
2011
We present a method for using standard techniques from satisfiability checking to automatically verify and discover theorems in an area of economic theory known as ranking sets o...
117
click to vote
JCNS
2011
15 years 26 days ago
2011
Adaptive stimulus design methods can potentially improve the efficiency of sensory neurophysiology experiments significantly; however, designing optimal stimulus sequences in re...
181
Voted
CSMR
2010
IEEE
15 years 26 days ago
2010
IEEE
Abstract--Building comprehensive test suites for web applications poses new challenges in software testing. Coverage criteria used for traditional systems to assess the quality of ...