Sciweavers

5608 search results - page 328 / 1122
» Structure description tools
Sort
View
AVI
2004
15 years 6 months ago
A graph-based interface to complex hypermedia structure visualization
Complex hypermedia structures can be difficult to author and maintain, especially when the usual hierarchic representation cannot capture important relations. We propose a graph-b...
Manuel Freire, Pilar Rodríguez
APBC
2003
134views Bioinformatics» more  APBC 2003»
15 years 6 months ago
A Framework for Improving Protein Structure Predictions by Teamwork
Predicting the three dimensional structure of proteins is a difficult task. In the last years several approaches have been proposed for performing this task taking into account d...
Luigi Palopoli, Giorgio Terracina
174
Voted
KES
2008
Springer
15 years 4 months ago
Instruction-based development: From evolution to generic structures of digital circuits
Evolutionary techniques provide powerful tools to design novel solutions for hard problems in different areas. However, the problem of scale (i.e. how to create a large, complex s...
Michal Bidlo, Jaroslav Skarvada
137
Voted
JLP
2006
81views more  JLP 2006»
15 years 4 months ago
Development graphs - Proof management for structured specifications
Development graphs are a tool for dealing with structured specifications in a formal program development in order to ease the management of change and reusing proofs. In this work...
Till Mossakowski, Serge Autexier, Dieter Hutter
AI
1999
Springer
15 years 4 months ago
Topological Inference of Teleology: Deriving Function from Structure via Evidential Reasoning
Reasoning about the physical world is a central human cognitive activity. One aspect of such reasoning is the inference of function from the structure of the artifacts one encount...
John O. Everett