Sciweavers

1964 search results - page 121 / 393
» An analysis of extensible modelling for functional genomics ...
Sort
View
PLDI
2010
ACM
15 years 7 months ago
Complete Functional Synthesis
Synthesis of program fragments from specifications can make programs easier to write and easier to reason about. To integrate synthesis into programming languages, synthesis algor...
Viktor Kuncak, Mika l Mayer, Ruzica Piskac, Philip...
ECRTS
2002
IEEE
15 years 2 months ago
Fully Automatic Worst-Case Execution Time Analysis for Matlab/Simulink Models
In today’s technical world (e.g., in the automotive industry), more and more purely mechanical components get replaced by electro-mechanical ones. Thus the size and complexity o...
Raimund Kirner, Roland Lang, Gerald Freiberger, Pe...
ICIP
2006
IEEE
15 years 11 months ago
On the Information Rate of the Plenoptic Function
We study the compression problem of visual scenes acquired with a camera for transmission or storage. Our proposed model is general and includes two well-known cases: that of vide...
Arthur L. da Cunha, Minh N. Do, Martin Vetterli
ICIAP
2007
ACM
15 years 10 months ago
A Method of Clustering Combination Applied to Satellite Image Analysis
An algorithm for combining results of different clusterings is presented in this paper, the objective of which is to find groups of patterns which are common to all clusterings. T...
Ivan O. Kyrgyzov, Henri Maître, Marine Campe...
ISMB
1993
14 years 11 months ago
Pattern Discovery in Gene Regulation: Designing an Analysis Environment
Interactions that determinecellular fate are exceedingly complex, can take place at different levels of gene regulation and involve a large numberof components(such as genes, prot...
Stella Veretnik, Bruce R. Schatz