1981 search results - page 124 / 397 » Model-Checking Hierarchical Structures |
ICIAR
2005
Springer
15 years 3 months ago
2005
Springer
Image classification is often used to extract information from multi-spectral satellite images. Unsupervised methods can produce results well adjusted to the data, but that are us...
101
click to vote
ICRA
2002
IEEE
15 years 2 months ago
2002
IEEE
This paper describes a multi-layered hierarchical motion planning strategy for a class of self-reconfigurable modular robotic systems, I-Cubes. The approach is based on the synthe...
NLPRS
2001
Springer
15 years 2 months ago
2001
Springer
In this paper, we propose a hierarchical phrase alignment method that aims to acquire translation knowledge. Previous methods utilize the correspondence of sub-trees between bilin...
129
click to vote
ISCC
1999
IEEE
15 years 2 months ago
1999
IEEE
Digital images and video clips are becoming popular due to the increase in the availability of consumer devices that capture digital images and video clips. Digital content is als...
EDCC
1994
Springer
15 years 2 months ago
1994
Springer
A new control flow checking scheme, based on assigned-signature checking by a watchdog processor, is presented. This scheme is suitable for a multitasking, multiprocessor environme...