Sciweavers

1387 search results - page 133 / 278
» Algorithms for Interactive Editing of Level Set Models
Sort
View
BMCBI
2005
98views more  BMCBI 2005»
14 years 10 months ago
Iterative approach to model identification of biological networks
Background: Recent advances in molecular biology techniques provide an opportunity for developing detailed mathematical models of biological processes. An iterative scheme is intr...
Kapil G. Gadkar, Rudiyanto Gunawan, Francis J. Doy...
COMCOM
2004
84views more  COMCOM 2004»
14 years 9 months ago
A self-extracting accurate modeling for bounded-delay video services
This article proposes the XGOP-B deterministic traffic model for MPEG video services requiring strict bounds on the quality of service provided by the network. The XGOP-B model ta...
Marcelo Dias de Amorim, Otto Carlos Muniz Bandeira...
EVOW
2004
Springer
15 years 3 months ago
Self-Adaptive Scouting - Autonomous Experimentation for Systems Biology
Abstract. We introduce a new algorithm for autonomous experimentation. This algorithm uses evolution to drive exploration during scientific discovery. Population size and mutation...
Naoki Matsumaru, Florian Centler, Klaus-Peter Zaun...
CAV
2009
Springer
239views Hardware» more  CAV 2009»
15 years 2 months ago
MCMAS: A Model Checker for the Verification of Multi-Agent Systems
tic modalities for correctness [16]. The release described in this abstract is a complete rebuild of a preliminary experimental checker [14]. The model input language includes vari...
Alessio Lomuscio, Hongyang Qu, Franco Raimondi
CGI
2003
IEEE
15 years 3 months ago
Virtualizing Real-World Objects
High quality, virtual 3D models are quickly emerging as a new multimedia data type with applications in such diverse areas as e-commerce, online encyclopaedias, or virtual museums...
Hendrik P. A. Lensch, Jan Kautz, Michael Goesele, ...