Sciweavers

1317 search results - page 146 / 264
» A Technique for Constructing Developable Surfaces
Sort
View
JMLR
2008
127views more  JMLR 2008»
15 years 6 months ago
Incremental Identification of Qualitative Models of Biological Systems using Inductive Logic Programming
The use of computational models is increasingly expected to play an important role in predicting the behaviour of biological systems. Models are being sought at different scales o...
Ashwin Srinivasan, Ross D. King
BMCBI
2008
138views more  BMCBI 2008»
15 years 6 months ago
Automated simultaneous analysis phylogenetics (ASAP): an enabling tool for phlyogenomics
Background: The availability of sequences from whole genomes to reconstruct the tree of life has the potential to enable the development of phylogenomic hypotheses in ways that ha...
Indra Neil Sarkar, Mary G. Egan, Gloria M. Coruzzi...
ICIP
2001
IEEE
16 years 7 months ago
Sprite generation for frame-based video coding
Sprite coding is a very efficient method for the representation and compression of background video object, which has been accepted by MPEG-4 standard. However, how to automatical...
Yan Lu, Wen Gao, Feng Wu
ICDE
2008
IEEE
155views Database» more  ICDE 2008»
16 years 7 months ago
Lattice Histograms: a Resilient Synopsis Structure
Despite the surge of interest in data reduction techniques over the past years, no method has been proposed to date that can always achieve approximation quality preferable to that...
Panagiotis Karras, Nikos Mamoulis
SPIN
2007
Springer
16 years 5 days ago
Model Extraction for ARINC 653 Based Avionics Software
One of the most exciting and promising approaches to ensure the correctness of critical systems is software model checking, which considers real code, written with standard program...
Pedro de la Cámara, María-del-Mar Ga...