2048 search results - page 193 / 410 » Intelligent search techniques for large software systems |
193
click to vote
ICFEM
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. The success of industrial-scale model checkers such as Uppaal [3] or NuSMV [12] relies on the efficiency of their respective symbolic state space representations. While d...
186
click to vote
SSDBM
2007
IEEE
16 years 25 days ago
2007
IEEE
Location-based information contained in publicly available GIS databases is invaluable for many applications such as disaster response, national infrastructure protection, crime a...
183
click to vote
ASIAN
2004
Springer
15 years 12 months ago
2004
Springer
Natural images and photographs sometimes may contain stains or undesired objects covering significant portions of the images. Inpainting is a method to fill in such portions using ...
160
click to vote
EDBT
1998
ACM
15 years 10 months ago
1998
ACM
Abstract. Fusion queries search for information integrated from distributed, autonomous sources over the Internet. We investigate techniques for e cient processing of fusion querie...
162
click to vote
ATAL
2006
Springer
15 years 10 months ago
2006
Springer
We present a novel method for automatically acquiring strategies for the double auction by combining evolutionary optimization together with a principled game-theoretic analysis. ...