1632 search results - page 216 / 327 » Topological Analysis of Refinement |
101
click to vote
TSE
2011
14 years 6 months ago
2011
—Conventional testing methods often fail to detect hidden flaws in complex embedded software such as device drivers or file systems. This deficiency incurs significant developmen...
113
click to vote
JAIR
2010
14 years 6 months ago
2010
The Hamiltonian cycle problem (HCP) is an important combinatorial problem with applications in many areas. It is among the first problems used for studying intrinsic properties, i...
SIAMNUM
2010
14 years 6 months ago
2010
This paper deals with the approximation of the buckling coefficients and modes of a clamped plate modeled by the Reissner-Mindlin equations. These coefficients are related with the...
TSE
2010
14 years 6 months ago
2010
Recent advances in mechanical techniques for systematic testing have increased our ability to automatically find subtle bugs, and hence to deploy more dependable software. This pap...
210
click to vote
ACCV
2010
Springer
14 years 7 months ago
2010
Springer
We present a new active learning approach to incorporate
human feedback for on-line unusual event detection. In contrast to most
existing unsupervised methods that perform passiv...