807 search results - page 117 / 162 » Space Efficient Algorithms for Ordered Tree Comparison |
192
click to vote
PTS
2008
15 years 7 months ago
2008
The state space explosion due to concurrency and timing constraints of concurrent real-time systems (CRTS) presents significant challenges to the verification engineers. In this pa...
141
click to vote
CVPR
2007
IEEE
16 years 8 months ago
2007
IEEE
We propose a novel classification approach for automatically detecting pulmonary embolism (PE) from computedtomography-angiography images. Unlike most existing approaches that req...
191
click to vote
AMAI
2004
Springer
15 years 11 months ago
2004
Springer
This paper presents new look-ahead schemes for backtracking search when solving constraint satisfaction problems. The look-ahead schemes compute a heuristic for value ordering and...
160
click to vote
ICIC
2005
Springer
15 years 11 months ago
2005
Springer
This paper proposed a modified algorithm, sequential niching particle swarm optimization (SNPSO), for the attempt to get multiple maxima of multimodal function. Based on the sequen...
188
click to vote
ICPP
1998
IEEE
15 years 10 months ago
1998
IEEE
Use of anycast service can considerably simplify many communication applications. Two approaches can be used for routing anycast packets. Single-path routing always uses the same ...