Sciweavers

10828 search results - page 163 / 2166
» Improving the application of process models
Sort
View
LICS
2000
IEEE
15 years 8 months ago
Models for Name-Passing Processes: Interleaving and Causal
We study syntax-free models for name-passing processes. For interleaving semantics, we identify the indexing structure required of an early labelled transition system to support t...
Gian Luca Cattani, Peter Sewell
ENGL
2008
133views more  ENGL 2008»
15 years 4 months ago
Cycle Time Forecasting Models for Defect Inspection Process in TFT-LCD Module Assembly
Because most of the procedures in defect inspection process of TFT-LCD module assembly are examined manually through human vision, cycle time estimation for this particular process...
Chien-wen Shen
CDC
2009
IEEE
157views Control Systems» more  CDC 2009»
15 years 8 months ago
On trajectory optimization for active sensing in Gaussian process models
Abstract— We consider the problem of optimizing the trajectory of a mobile sensor with perfect localization whose task is to estimate a stochastic, perhaps multidimensional fiel...
Jerome Le Ny, George J. Pappas
CODES
2000
IEEE
15 years 8 months ago
A method to derive application-specific embedded processing cores
The concept of system-on-a-chip is becoming increasingly popular for the integration of complex systems. New types of processor cores are now available that enable the designer to...
Olivier Hébert, Ivan C. Kraljic, Yvon Savar...
CSSE
2008
IEEE
15 years 10 months ago
Application of New Adaptive Higher Order Neural Networks in Data Mining
This paper introduces an adaptive Higher Order Neural Network (HONN) model and applies it in data mining such as simulating and forecasting government taxation revenues. The propo...
Shuxiang Xu, Ling Chen