Sciweavers

19367 search results - page 223 / 3874
» Fine-Grain Process Modelling
Sort
View
DGO
2008
99views Education» more  DGO 2008»
15 years 4 months ago
Specifying and verifying requirements for election processes
In this paper we outline an approach for modeling election processes and then performing rigorous analysis to verify that these process models meet selected behavioral requirement...
Borislava I. Simidchieva, Matthew Marzilli, Lori A...
IWANN
1999
Springer
15 years 7 months ago
Pattern Recognition System with Top-Down Process of Mental Rotation
A new model which can recognize rotated, distorted, scaled, shifted and noised patterns is proposed. The model is constructed based on psychological experiments in a mental rotatio...
Shunji Satoh, Hirotomo Aso, Shogo Miyake, Jousuke ...
ICCAD
2007
IEEE
134views Hardware» more  ICCAD 2007»
15 years 7 months ago
Efficient decoupling capacitance budgeting considering operation and process variations
This paper solves the variation-aware on-chip decoupling capacitance (decap) budgeting problem. Unlike previous work assuming the worst-case current load, we develop a novel stocha...
Yiyu Shi, Jinjun Xiong, Chunchen Liu, Lei He
134
Voted
NIPS
2004
15 years 4 months ago
Sharing Clusters among Related Groups: Hierarchical Dirichlet Processes
We propose the hierarchical Dirichlet process (HDP), a nonparametric Bayesian model for clustering problems involving multiple groups of data. Each group of data is modeled with a...
Yee Whye Teh, Michael I. Jordan, Matthew J. Beal, ...
CCE
2008
15 years 3 months ago
Optimal synthesis of heat exchanger networks involving isothermal process streams
This paper proposes a new MINLP model for heat exchanger network synthesis that includes streams with phase change. The model considers every possible combination of process strea...
José María Ponce-Ortega, Arturo Jim&...