Sciweavers

153 search results - page 31 / 31
» Efficient top-k processing over query-dependent functions
Sort
View
MOVEP
2000
136views Hardware» more  MOVEP 2000»
13 years 9 months ago
UPPAAL - Now, Next, and Future
Uppaal is a tool for modeling, simulation and verification of real-time systems, developed jointly by BRICS at Aalborg University and the Department of Computer Systems at Uppsala ...
Tobias Amnell, Gerd Behrmann, Johan Bengtsson, Ped...
AFRIGRAPH
2010
ACM
13 years 8 months ago
Progressive RBF interpolation
Interpolation based on Radial Basis Functions (RBF) is very often used for scattered scalar data interpolation in n-dimensional space in general. RBFs are used for surface reconst...
Václav Skala
BMCBI
2006
117views more  BMCBI 2006»
13 years 5 months ago
Gene Designer: a synthetic biology tool for constructing artificial DNA segments
Background: Direct synthesis of genes is rapidly becoming the most efficient way to make functional genetic constructs and enables applications such as codon optimization, RNAi re...
Alan Villalobos, Jon E. Ness, Claes Gustafsson, Je...