Sciweavers

371 search results - page 45 / 75
» A New Method for Interoperability Test Generation
Sort
View
118
Voted
BMCBI
2007
109views more  BMCBI 2007»
15 years 2 months ago
A cis-regulatory logic simulator
Background: A major goal of computational studies of gene regulation is to accurately predict the expression of genes based on the cis-regulatory content of their promoters. The d...
Robert D. Zeigler, Jason Gertz, Barak A. Cohen
SAC
2009
ACM
15 years 8 months ago
Specifying and checking protocols of multithreaded classes
In the Design By Contract (DBC) approach, programmers specify methods with pre and postconditions (also called contracts). Earlier work added protocols to the DBC approach to desc...
Clément Hurlin
IMR
2004
Springer
15 years 7 months ago
Inverse Pre-Deformation of Finite Element Mesh for Large Deformation Analysis
In the finite element analysis that deals with large deformation, the process usually produces distorted elements at the later stages of the analysis. These distorted elements lea...
Arbtip Dheeravongkit, Kenji Shimada
ATMOS
2007
163views Optimization» more  ATMOS 2007»
15 years 3 months ago
Branching Strategies to Improve Regularity of Crew Schedules in Ex-Urban Public Transit
We discuss timetables in ex-urban bus traffic that consist of many trips serviced every day together with some exceptions that do not repeat daily. Traditional optimization methods...
Ingmar Steinzen, Leena Suhl, Natalia Kliewer
SBIA
2004
Springer
15 years 7 months ago
Learning with Drift Detection
Abstract. Most of the work in machine learning assume that examples are generated at random according to some stationary probability distribution. In this work we study the problem...
João Gama, Pedro Medas, Gladys Castillo, Pe...