3630 search results - page 218 / 726 » Fast Marching Methods |
176
click to vote
CAV
2003
Springer
15 years 11 months ago
2003
Springer
We show that the model checking problem for µ-calculus on graphs of bounded tree-width can be solved in time linear in the size of the system. The result is presented by first sh...
201
click to vote
ICANN
2001
Springer
15 years 11 months ago
2001
Springer
Support vector machines have gotten wide acceptance for their high generalization ability for real world applications. But the major drawback is slow training for classification p...
170
click to vote
WEBI
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. Thanks to the recent explosive progress of WWW (WorldWide Web), we can easily access a large number of images from WWW. There are, however, no established methods to make...
180
click to vote
IPPS
2000
IEEE
15 years 11 months ago
2000
IEEE
Abstract. Performance modeling is important for implementing efficient parallel applications and runtime systems. The LogP model captures the relevant aspects of message passing i...
156
click to vote
ICMCS
1999
IEEE
15 years 10 months ago
1999
IEEE
Multidimensional image retrieval (MIR) views an image as a multidimensional object, where each dimension is a channel for retrieval. MIR has the potential of putting at work toget...