Sciweavers

445 search results - page 71 / 89
» Deriving Concept Mappings through Instance Mappings
Sort
View
CDC
2008
IEEE
180views Control Systems» more  CDC 2008»
14 years 5 months ago
Opacity-enforcing supervisory strategies for secure discrete event systems
— Initial-state opacity emerges as a key property in numerous security applications of discrete event systems including key-stream generators for cryptographic protocols. Speci...
Anooshiravan Saboori, Christoforos N. Hadjicostis
BIBE
2007
IEEE
121views Bioinformatics» more  BIBE 2007»
14 years 5 months ago
Identifying Genomic Regulators of Set-Wise Co-Expression
The genetical genomics approach has been used to study the genetic basis of variation in gene expression, where putative transcriptional regulators of genes are identified via gene...
Jung Hoon Woo, Tian Zheng, Ju Han Kim
PG
2007
IEEE
14 years 5 months ago
Image-Space Caustics and Curvatures
Caustics are important visual phenomena, as well as challenging global illumination effects in computer graphics. Physically caustics can be interpreted from one of two perspectiv...
Xuan Yu, Feng Li, Jingyi Yu
MDM
2004
Springer
158views Communications» more  MDM 2004»
14 years 4 months ago
Semantic Location Modeling for Location Navigation in Mobile Environment
Location-based applications require a well-formed representation of spatial knowledge. Current location models can be classified into symbolic or geometric models. The former att...
Haibo Hu, Dik Lun Lee
TYPES
2004
Springer
14 years 4 months ago
Exploring the Regular Tree Types
In this paper we use the Epigram language to define the universe of regular tree types—closed under empty, unit, sum, product and least fixpoint. We then present a generic deci...
Peter Morris, Thorsten Altenkirch, Conor McBride