Sciweavers

1387 search results - page 137 / 278
» Algorithms for Interactive Editing of Level Set Models
Sort
View
BMCBI
2011
14 years 1 months ago
Learning sparse models for a dynamic Bayesian network classifier of protein secondary structure
Background: Protein secondary structure prediction provides insight into protein function and is a valuable preliminary step for predicting the 3D structure of a protein. Dynamic ...
Zafer Aydin, Ajit Singh, Jeff Bilmes, William Staf...
INFOVIS
1999
IEEE
15 years 2 months ago
Aggregate Towers: Scale Sensitive Visualization and Decluttering of Geospatial Data
We have developed a technique, Aggregate Towers, that allows geospatial data to be visualized across a range of map scales. We use a combination of data aggregation algorithms and...
James K. Rayson
TACAS
2000
Springer
121views Algorithms» more  TACAS 2000»
15 years 1 months ago
Using Static Analysis to Improve Automatic Test Generation
Conformance testing is still the main industrial validation technique for telecommunication protocols. The automatic construction of test cases based on the model approach is hinde...
Marius Bozga, Jean-Claude Fernandez, Lucian Ghirvu
POPL
2008
ACM
15 years 10 months ago
Systems biology, models, and concurrency
Models will play a central role in the representation, storage, manipulation, and communication of knowledge in systems biology. Models capable of fulfilling such a role will like...
Walter Fontana
ECAL
2005
Springer
15 years 3 months ago
Aggregation Behaviour as a Source of Collective Decision in a Group of Cockroach-Like-Robots
In group-living animals, aggregation favours interactions and information exchanges between individuals, and thus allows the emergence of complex collective behaviors. In previous ...
Simon Garnier, Christian Jost, Raphaël Jeanso...