Sciweavers

17449 search results - page 596 / 3490
» Availability
Sort
View
AMC
2005
146views more  AMC 2005»
15 years 7 months ago
A functional language to implement the divide-and-conquer Delaunay triangulation algorithm
This paper investigates the implementation of a functional language algorithm for the divide-and-conquer Delaunay triangulation. The global aim is to improve its performance. Up t...
André L. Moura, José R. Camacho, Seb...
AMC
2005
123views more  AMC 2005»
15 years 7 months ago
An efficient convergent lattice algorithm for European Asian options
Financial options whose payoff depends critically on historical prices are called pathdependent options. Their prices are usually harder to calculate than options whose prices do ...
Tian-Shyr Dai, Guan-Shieng Huang, Yuh-Dauh Lyuu
TCAD
2008
181views more  TCAD 2008»
15 years 7 months ago
A Survey of Automated Techniques for Formal Software Verification
The quality and the correctness of software is often the greatest concern in electronic systems. Formal verification tools can provide a guarantee that a design is free of specific...
Vijay D'Silva, Daniel Kroening, Georg Weissenbache...
IVC
2007
121views more  IVC 2007»
15 years 7 months ago
Automatic selection of MRF control parameters by reactive tabu search
This paper presents an optimisation technique to automatically select a set of control parameters for a Markov Random Field. The method is based on the Reactive Tabu Search strate...
Umberto Castellani, Andrea Fusiello, Riccardo Gher...
BMCBI
2005
102views more  BMCBI 2005»
15 years 7 months ago
The Molecular Biology Toolkit (MBT): a modular platform for developing molecular visualization applications
Background: The large amount of data that are currently produced in the biological sciences can no longer be explored and visualized efficiently with traditional, specialized soft...
John L. Moreland, Apostol Gramada, Oleksandr V. Bu...