Sciweavers

6050 search results - page 1145 / 1210
» Information In The Non-Stationary Case
Sort
View
ECOOP
1998
Springer
14 years 29 days ago
Precise Visual Specification of Design Patterns
There has been substantial recent interest in captured design expertise expressed as design patterns. Prevalent descriptions of these design patterns suffer from two demerits. Firs...
Anthony Lauder, Stuart Kent
CVPR
1997
IEEE
14 years 29 days ago
Using Local 3D Structure for Segmentation of Bone from Computer Tomography Images
In this paper we focus on using local 3D structure for segmentation. A tensor descriptor is estimated for each neighbourhood, i.e. for each voxel in the data set. The tensors are ...
Carl-Fredrik Westin, Abhir Bhalerao, Ron Kikinis, ...
TACAS
1998
Springer
81views Algorithms» more  TACAS 1998»
14 years 28 days ago
Formal Design and Analysis of a Gear Controller
In this paper, we report on an application of the validation and veri cation tool kit Uppaal in the design and analysis of a prototype gear controller, carried out in a joint proje...
Magnus Lindahl, Paul Pettersson, Wang Yi
VLDB
1998
ACM
127views Database» more  VLDB 1998»
14 years 28 days ago
Algorithms for Mining Association Rules for Binary Segmentations of Huge Categorical Databases
We consider the problem of finding association rules that make nearly optimal binary segmentations of huge categorical databases. The optimality of segmentation is defined by an o...
Yasuhiko Morimoto, Takeshi Fukuda, Hirofumi Matsuz...
ICCBR
1997
Springer
14 years 27 days ago
Supporting Combined Human and Machine Planning: An Interface for Planning by Analogical Reasoning
Realistic and complex planning situations require a mixed-initiative planning framework in which human and automated planners interact to mutually construct a desired plan. Ideally...
Michael T. Cox, Manuela M. Veloso
« Prev « First page 1145 / 1210 Last » Next »