10568 search results - page 2036 / 2114 » Computer Intelligence and Formalization |
138
click to vote
TSE
2010
14 years 9 months ago
2010
Current stochastic model checkers do not make counterexamples for property violations readily available. In this paper we apply directed explicit state space search to discrete- a...
139
click to vote
TSE
2010
14 years 9 months ago
2010
The increasing reliance put on networked computer systems demands higher levels of dependability. This is even more relevant as new threats and forms of attack are constantly being...
150
click to vote
TSE
2010
14 years 9 months ago
2010
Search-based software engineering is an emerging paradigm that uses automated search algorithms to help designers iteratively find solutions to complicated design problems. For exa...
141
click to vote
VC
2010
14 years 9 months ago
2010
Abstract Three-dimensional (3D) representations of complex geometric shapes, especially when they are reconstructed from magnetic resonance imaging (MRI) and computed tomography (C...
148
click to vote
JAISE
2011
14 years 9 months ago
2011
Advances in computer vision and pattern recognition research are leading to video surveillance systems with improved scene analysis capabilities. However, up to now few works have ...