3424 search results - page 507 / 685 » Automated Testing of Classes |
140
click to vote
SAS
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. Proving the termination of a flowchart program can be done by exhibiting a ranking function, i.e., a function from the program states to a wellfounded set, which strictl...
150
Voted
CORR
2010
Springer
15 years 2 months ago
2010
Springer
In a previous work we introduced slice graphs as a way to specify both infinite languages of directed acyclic graphs (DAGs) and infinite languages of partial orders. Therein we fo...
158
click to vote
CORR
2010
Springer
14 years 11 months ago
2010
Springer
Recent theoretical and empirical work in statistical machine learning has demonstrated the importance of learning algorithms for deep architectures, i.e., function classes obtaine...
145
Voted
ICCV
2011
IEEE
14 years 4 months ago
2011
IEEE
We present a generic, efficient and iterative algorithm for interactively clustering classes of images and videos. The approach moves away from the use of large hand labelled tra...
133
click to vote
ECSQARU
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. We address the problem of providing a logical characterization of reasoning based on stereotypes. Following [6] we take a semantic perspective and we base our model on a ...