Sciweavers

3154 search results - page 214 / 631
» Computing Closed Skycubes
Sort
View
SAS
2007
Springer
16 years 18 days ago
Optimal Abstraction on Real-Valued Programs
abstraction on real-valued programs David Monniaux Laboratoire d’informatique de l’´Ecole normale sup´erieure 45, rue d’Ulm, 75230 Paris cedex 5, France June 30, 2007 In t...
David Monniaux
SOCASE
2007
Springer
16 years 18 days ago
Using Goals for Flexible Service Orchestration
Abstract. This paper contributes to a line of research that aims to apply agent-oriented techniques in the field of service-oriented computing. In particular, we propose to use go...
M. Birna van Riemsdijk, Martin Wirsing
WABI
2007
Springer
123views Bioinformatics» more  WABI 2007»
16 years 18 days ago
Inverse Sequence Alignment from Partial Examples
When aligning biological sequences, the choice of parameter values for the alignment scoring function is critical. Small changes in gap penalties, for example, can yield radically ...
Eagu Kim, John D. Kececioglu
DATE
2006
IEEE
116views Hardware» more  DATE 2006»
16 years 16 days ago
Systematic and optimal design of CMOS two-stage opamps with hybrid cascode compensation
This paper presents a systematic and optimal design of hybrid cascode compensation method which is used in fully differential two-stage CMOS operational transconductance amplifier...
Mohammad Yavari, Omid Shoaei, Ángel Rodr&ia...
GLOBECOM
2006
IEEE
16 years 16 days ago
Band-Preference Dynamic Spectrum Management in a DSL Environment
— This paper introduces an algorithm for spectrum management for digital subscriber line (DSL) systems based on band preference. The proposed method influences the usage of spec...
Wooyul Lee, Youngjae Kim, Mark H. Brady, John M. C...