Sciweavers

3897 search results - page 234 / 780
» complexity 2010
Sort
View
TGIS
2010
86views more  TGIS 2010»
15 years 28 days ago
A Road Network Selection Process Based on Data Enrichment and Structure Detection
The presented paper deals with a generic process for road network selection based on data enrichment and structure detection. The first step is to detect significant structures and...
Guillaume Touya
COCOON
2010
Springer
15 years 11 months ago
Tracking a Generator by Persistence
The persistent homology provides a mathematical tool to describe “features” in a principled manner. The persistence algorithm proposed by Edelsbrunner et al. [9] can compute n...
Oleksiy Busaryev, Tamal K. Dey, Yusu Wang
FMICS
2010
Springer
15 years 6 months ago
Correctness of Sensor Network Applications by Software Bounded Model Checking
We investigate the application of the software bounded model checking tool CBMC to the domain of wireless sensor networks (WSNs). We automatically generate a software behavior mode...
Frank Werner, David Faragó
WABI
2010
Springer
188views Bioinformatics» more  WABI 2010»
15 years 4 months ago
Prediction of RNA Secondary Structure Including Kissing Hairpin Motifs
Abstract. We present three heuristic strategies for folding RNA sequences into secondary structures including kissing hairpin motifs. The new idea is to construct a kissing hairpin...
Corinna Theis, Stefan Janssen, Robert Giegerich
FUIN
2010
136views more  FUIN 2010»
15 years 3 months ago
Modeling Biology using Generic Reactive Animation
Abstract. Complex biological systems involve incorporated behaviors of numerous processes, mechanisms and objects. However, experimental analysis, by its nature, divides biological...
Yaki Setty, Irun R. Cohen, David Harel