Sciweavers

4856 search results - page 850 / 972
» Concept formation in design
Sort
View
CCE
2008
15 years 6 months ago
Chance constrained programming approach to process optimization under uncertainty
Deterministic optimization approaches have been well developed and widely used in the process industry to accomplish off-line and on-line process optimization. The challenging tas...
Pu Li, Harvey Arellano-Garcia, Günter Wozny
CORR
2010
Springer
154views Education» more  CORR 2010»
15 years 6 months ago
Cross Layer Aware Adaptive MAC based on Knowledge Based Reasoning for Cognitive Radio Computer Networks
: In this paper we are proposing a new concept in MAC layer protocol design for Cognitive radio by combining information held by physical layer and MAC layer with analytical engine...
Vibhar Pathak, Krishna Chandra Roy, Santosh Kumar ...
CONCURRENCY
2008
104views more  CONCURRENCY 2008»
15 years 6 months ago
PERMIS: a modular authorization infrastructure
Authorization infrastructures manage privileges and render access control decisions, allowing applications to adjust their behavior according to the privileges allocated to users....
David W. Chadwick, Gansen Zhao, Sassa Otenko, Roma...
CORR
2010
Springer
140views Education» more  CORR 2010»
15 years 6 months ago
Refinement Types for Logical Frameworks and Their Interpretation as Proof Irrelevance
Refinement types sharpen systems of simple and dependent types by offering expressive means to more precisely classify well-typed terms. We present a system of refinement types for...
William Lovas, Frank Pfenning
CORR
2008
Springer
91views Education» more  CORR 2008»
15 years 6 months ago
High Density out-of-Plane Microprobe Array
In this paper, the high density out-of-plane microprobe array is demonstrated. The fabrication processes of proposed device including bulk micromachining, thin film deposition and ...
C. H. Huang, Chingfu Tsou, Tenghsien Lai