1116 search results - page 142 / 224 » Applying Predicate Abstraction to Abstract State Machines |
ICNC
2005
Springer
15 years 4 months ago
2005
Springer
Abstract. Through task decomposition and module combination, minmax modular support vector machines (M3 -SVMs) can be successfully used for difficult pattern classification task. ...
COLT
2004
Springer
15 years 4 months ago
2004
Springer
Abstract— We prove that given a nearly log-concave distribution, in any partition of the space to two well separated sets, the measure of the points that do not belong to these s...
101
click to vote
CSCLP
2004
Springer
15 years 4 months ago
2004
Springer
Abstract. Overload checking, forbidden regions, edge finding, and notfirst/not-last detection are well-known propagation rules to prune the start times of activities which have t...
122
click to vote
DAGM
2004
Springer
15 years 4 months ago
2004
Springer
Abstract. In this paper image-based techniques for 3D surface reconstruction are presented which are especially suitable for (but not limited to) coplanar light sources. The first...
ICTAC
2004
Springer
15 years 4 months ago
2004
Springer
Abstract. P systems (known also as membrane systems) are biologically motivated theoretical models of distributed and parallel computing. The two most interesting questions in the ...