Sciweavers

1156 search results - page 115 / 232
» Compositional Methods for Information-Hiding
Sort
View
ANSOFT
1999
85views more  ANSOFT 1999»
13 years 8 months ago
Modeling Concurrent Real-Time Processes Using Discrete Events
We give a formal framework for studying real-time discrete-event systems. It describes concurrent processes as sets of possible behaviors. Compositions of processes are processes ...
Edward A. Lee
FFA
2010
70views more  FFA 2010»
13 years 6 months ago
Fast arithmetic in unramified p-adic fields
Let p be prime and Zpn a degree n unramified extension of the ring of p-adic integers Zp. In this paper we give an overview of some very fast deterministic algorithms for common o...
Hendrik Hubrechts
BMCBI
2008
99views more  BMCBI 2008»
13 years 9 months ago
Binning sequences using very sparse labels within a metagenome
Background: In metagenomic studies, a process called binning is necessary to assign contigs that belong to multiple species to their respective phylogenetic groups. Most of the cu...
Chon-Kit Kenneth Chan, Arthur L. Hsu, Saman K. Hal...
BMCBI
2008
141views more  BMCBI 2008»
13 years 9 months ago
Functional discrimination of membrane proteins using machine learning techniques
Background: Discriminating membrane proteins based on their functions is an important task in genome annotation. In this work, we have analyzed the characteristic features of amin...
M. Michael Gromiha, Yukimitsu Yabuki
CVPR
2008
IEEE
14 years 11 months ago
Volumetric reconstruction from multi-energy single-view radiography
We address the volumetric reconstruction problem that takes as input a series of orthographic multi-energy x-ray images, producing as output a reconstructed model space consisting...
Sang N. Le, Mei Kay Lee, Shamima Banu, Anthony C. ...