Sciweavers

8486 search results - page 1429 / 1698
» Ordered Enumeration Method
Sort
View
CONSTRAINTS
2008
182views more  CONSTRAINTS 2008»
15 years 6 months ago
Constraint Programming in Structural Bioinformatics
Bioinformatics aims at applying computer science methods to the wealth of data collected in a variety of experiments in life sciences (e.g. cell and molecular biology, biochemistry...
Pedro Barahona, Ludwig Krippahl
CORR
2008
Springer
63views Education» more  CORR 2008»
15 years 6 months ago
Evaluation of the thermal and hydraulic performances of a very thin sintered copper flat heat pipe for 3D microsystem packages
The reported research work presents numerical studies validated by experimental results of a flat micro heat pipe with sintered copper wick structure. The objectives of this resea...
Slaska Tzanova, Lora Kamenova, Yvan Avenas, Christ...
CORR
2010
Springer
66views Education» more  CORR 2010»
15 years 6 months ago
Certifying cost annotations in compilers
We discuss the problem of building a compiler which can lift in a provably correct way pieces of information on the execution cost of the object code to cost annotations on the so...
Roberto M. Amadio, Nicholas Ayache, Yann Ré...
CORR
2010
Springer
241views Education» more  CORR 2010»
15 years 6 months ago
Haar Wavelet Based Approach for Image Compression and Quality Assessment of Compressed Image
With the increasing growth of technology and the entrance into the digital age, we have to handle a vast amount of information every time which often presents difficulties. So, the...
Kamrul Hasan Talukder, Koichi Harada
CORR
2010
Springer
145views Education» more  CORR 2010»
15 years 6 months ago
CAT-generation of ideals
We consider the problem of generating all ideals of a poset. It is a long standing open problem, whether or not the ideals of any poset can be generated in constant amortized time...
Torsten Ueckerdt
« Prev « First page 1429 / 1698 Last » Next »