Sciweavers

5203 search results - page 823 / 1041
» An approach to workflow modeling and analysis
Sort
View
BMCBI
2006
109views more  BMCBI 2006»
15 years 6 months ago
HaploRec: efficient and accurate large-scale reconstruction of haplotypes
Background: Haplotypes extracted from human DNA can be used for gene mapping and other analysis of genetic patterns within and across populations. A fundamental problem is, howeve...
Lauri Eronen, Floris Geerts, Hannu Toivonen
ENTCS
2006
185views more  ENTCS 2006»
15 years 6 months ago
Time Domain Verification of Oscillator Circuit Properties
The application of formal methods to analog and mixed signal circuits requires efficient methods tructing abstractions of circuit behaviors. This paper concerns the verification o...
Goran Frehse, Bruce H. Krogh, Rob A. Rutenbar, Ode...
IJISEC
2008
119views more  IJISEC 2008»
15 years 6 months ago
Estimating the maximum information leakage
Preventing improper information leaks is a greatest challenge of the modern society. In this paper we present a technique for measuring the ability of several families of adversari...
Alessandro Aldini, Alessandra Di Pierro
IJWET
2008
98views more  IJWET 2008»
15 years 6 months ago
Warehousing complex data from the web
: Data warehousing and Online Analytical Processing (OLAP) technologies are now moving onto handling complex data that mostly originate from the web. However, integrating such data...
Omar Boussaid, Jérôme Darmont, Fadila...
JUCS
2008
104views more  JUCS 2008»
15 years 6 months ago
Optimal Transit Price Negotiation: The Distributed Learning Perspective
: We present a distributed learning algorithm for optimizing transit prices in the inter-domain routing framework. We present a combined game theoretical and distributed algorithmi...
Dominique Barth, Loubna Echabbi, Chahinez Hamlaoui