Sciweavers

8959 search results - page 267 / 1792
» Composing aspects with aspects
Sort
View
IJCAI
1997
15 years 8 months ago
Let's Plan It Deductively!
The paper describes a transition logic, TL, and a deductive formalism for it. It shows how various important aspects (such as ramification, qualification, specificity, simultaneit...
Wolfgang Bibel
SAM
2000
102views Hardware» more  SAM 2000»
15 years 8 months ago
Test Generation Based On Control And Data Dependencies Within Multi-Process SDL Specifications
Control and data flow aspects of a distributed system can be identified through the analysis of control and data dependencies that exist not only within processes, but also across...
Olaf Henniger, Hasan Ural
VDB
2000
188views Database» more  VDB 2000»
15 years 8 months ago
Toward feature Algebras in Visual Databases: The Case for a Histogram Algebra
Searching and managing large archives of visual data, such as images and video, is made hard by the lack of proper integration between the visual aspects of the problem (image pro...
Amarnath Gupta, Simone Santini
WSC
2000
15 years 8 months ago
A real options design for quality control charts
We develop a financial model for a manufacturing process where quality can be affected by an assignable cause. We evaluate the options associated with applying a statistical proce...
Harriet Black Nembhard, Leyuan Shi, Mehmet Aktan
137
Voted
CSDA
2008
84views more  CSDA 2008»
15 years 6 months ago
Bayesian spatial prediction of the site index in the study of the Missouri Ozark Forest Ecosystem Project
This paper presents a Bayesian spatial method for analysing the site index data from the Missouri Ozark Forest Ecosystem Project (MOFEP). Based on ecological background and availa...
Xiaoqian Sun, Zhuoqiong He, John Kabrick