8828 search results - page 1517 / 1766 » Formal methods in practice |
187
click to vote
DEXA
2006
Springer
15 years 10 months ago
2006
Springer
Moving range queries over mobile objects are important in many location management applications. There have been quite a few research works in this area. However, all existing solu...
179
click to vote
ECCV
2006
Springer
15 years 10 months ago
2006
Springer
A scene containing multiple independently moving, possibly occluding, rigid objects is considered under the weak perspective camera model. We obtain a set of feature points tracke...
182
click to vote
ETRICS
2006
15 years 10 months ago
2006
Abstract. Most intrusion detection systems deployed today apply misuse detection as detection procedure. Misuse detection compares the recorded audit data with predefined patterns,...
191
click to vote
GECCO
2006
Springer
15 years 10 months ago
2006
Springer
In recent decades, many meta-heuristics, including genetic algorithm (GA), ant colony optimization (ACO) and various local search (LS) procedures have been developed for solving a...
178
click to vote
ICES
2000
Springer
15 years 10 months ago
2000
Springer
Testing is a key issue in the design and production of digital circuits: the adoption of BIST (Built-In Self-Test) techniques is increasingly popular, but requires efficient algori...