Sciweavers

484 search results - page 38 / 97
» Caching function calls using precise dependencies
Sort
View
CSL
2008
Springer
13 years 11 months ago
Type-Based Termination with Sized Products
Type-based termination is a semantically intuitive method that ensures termination of recursive definitions by tracking the size of datatype elements, and by checking that recursiv...
Gilles Barthe, Benjamin Grégoire, Colin Rib...
COOPIS
2004
IEEE
14 years 1 months ago
Automatic Initiation of an Ontology
We report on an a set of experiments carried out in the context of the Flemish OntoBasis project. Our purpose is to extract semantic relations from text corpora in an unsupervised ...
Marie-Laure Reinberger, Peter Spyns, A. Johannes P...
MTA
2008
96views more  MTA 2008»
13 years 9 months ago
Proxy-assisted periodic broadcast for video streaming with multiple servers
Large scale video streaming over Internet requires a large amount of resources such as server I/O bandwidth, network bandwidth. A number of video delivery techniques can be used to...
Ewa Kusmierek, David Hung-Chang Du
BMCBI
2006
116views more  BMCBI 2006»
13 years 10 months ago
Gene annotation and network inference by phylogenetic profiling
Background: Phylogenetic analysis is emerging as one of the most informative computational methods for the annotation of genes and identification of evolutionary modules of functi...
Jie Wu, Zhenjun Hu, Charles DeLisi
EUSFLAT
2003
143views Fuzzy Logic» more  EUSFLAT 2003»
13 years 11 months ago
Prediction of surface roughness in ultraprecision turning using fuzzy logic
Ultraprecision turning is a manufacturing process used to generate a high surface roughness in precision components, and its input-output relationships are highly nonlinear. Surfa...
Arup Kumar Nandi