Sciweavers

2553 search results - page 331 / 511
» Modeling Trees with Hypertextures
Sort
View
VMCAI
2010
Springer
15 years 7 months ago
Shape Analysis of Low-Level C with Overlapping Structures
Abstract. Device drivers often keep data in multiple data structures simultaneously while embedding list or tree related records into the records containing the actual data; this r...
Jörg Kreiker, Helmut Seidl, Vesal Vojdani
IFIP
2005
Springer
15 years 3 months ago
Multi-Stage Stochastic Electricity Portfolio Optimization in Liberalized Energy Markets
In this paper we analyze the electricity portfolio problem of a big consumer in a multi-stage stochastic programming framework. Stochasticity enters the model via the uncertain spo...
Ronald Hochreiter, Georg Ch. Pflug, David Wozabal
WABI
2005
Springer
128views Bioinformatics» more  WABI 2005»
15 years 3 months ago
Algorithms for Imperfect Phylogeny Haplotyping (IPPH) with a Single Homoplasy or Recombination Event
Abstract. The haplotype inference (HI) problem is the problem of inferring 2n haplotype pairs from n observed genotype vectors. This is a key problem that arises in studying geneti...
Yun S. Song, Yufeng Wu, Dan Gusfield
CA
2003
IEEE
15 years 3 months ago
A Procedural Approach to Animate Interactive Natural Sceneries
This paper presents a method for animating and rendering an interactive natural scenery in real-time. It improves the prairie model of [11] by enabling the on-the-fly generation ...
Sylvain Guerraz, Frank Perbet, David Raulo, Fran&c...
IPPS
2003
IEEE
15 years 3 months ago
Founding FireWire Bridges through Promela Prototyping
The standardisation procedure of the IEEE P1394.1 Draft Standard for High Performance Serial Bus Bridges is supported through the use of the state-of-the-art model checker Spin, w...
Izak van Langevelde, Judi Romijn, Nicolae Goga