Sciweavers

2192 search results - page 330 / 439
» Embedded function composition
Sort
View
JLP
2008
129views more  JLP 2008»
13 years 10 months ago
Program and proof optimizations with type systems
We demonstrate a method for describing data-flow analyses based program optimizations as compositional type systems with a transformation component. Analysis results are presented...
Ando Saabas, Tarmo Uustalu
MTA
2006
115views more  MTA 2006»
13 years 10 months ago
Cache modeling and optimization for portable devices running MPEG-4 video decoder
Abstract There are increasing demands on portable communication devices to run multimedia applications. ISO (an International Organization for Standardization) standard MPEG-4 is a...
Abu Asaduzzaman, Imad Mahgoub
PUC
2006
89views more  PUC 2006»
13 years 10 months ago
UbiqStack: a taxonomy for a ubiquitous computing software stack
This paper describes a taxonomy for a ubiquitous computing software stack called UbiqStack. Through the lens of the UbiqStack taxonomy we survey a variety of subsystems designed to...
Martin Modahl, Bikash Agarwalla, T. Scott Saponas,...
BMCBI
2005
120views more  BMCBI 2005»
13 years 10 months ago
pSLIP: SVM based protein subcellular localization prediction using multiple physicochemical properties
Background: Protein subcellular localization is an important determinant of protein function and hence, reliable methods for prediction of localization are needed. A number of pre...
Deepak Sarda, Gek Huey Chua, Kuo-Bin Li, Arun Kris...
ARTMED
2004
133views more  ARTMED 2004»
13 years 10 months ago
Bayesian network multi-classifiers for protein secondary structure prediction
Successful secondary structure predictions provide a starting point for direct tertiary structure modelling, and also can significantly improve sequence analysis and sequence-stru...
Víctor Robles, Pedro Larrañaga, Jos&...