3731 search results - page 400 / 747 » cases 2006 |
166
click to vote
IGPL
2006
15 years 6 months ago
2006
Abstract. We consider the case where inconsistencies are present between a system and its corresponding model, used for automatic verification. Such inconsistencies can be the resu...
166
click to vote
IGPL
2006
15 years 6 months ago
2006
Abduction or retroduction, as introduced by C.S. Peirce in the double sense of searching for explanatory instances and providing an explanation (i.e., involving the procedure of s...
190
click to vote
IIE
2006
15 years 6 months ago
2006
Weblogs are a popular form of easy-to-use personal publishing that has attracted millions of bloggers to share their personal thoughts, opinions, and knowledge on the web. The vers...
140
click to vote
IJBC
2006
15 years 6 months ago
2006
We study a binary-cell-states eight-cell neighborhood two-dimensional cellular automaton model of a quasi-chemical system with a substrate and a reagent. Reactions are represented...
218
click to vote
IJCV
2006
15 years 6 months ago
2006
We present a novel framework for motion segmentation that combines the concepts of layer-based methods and feature-based motion estimation. We estimate the initial correspondences...