Sciweavers

369 search results - page 51 / 74
» diagrams 2008
Sort
View
ECAI
2008
Springer
13 years 8 months ago
Reasoning about Dynamic Depth Profiles
Reasoning about perception of depth and about spatial relations between moving physical objects is a challenging problem. We investigate the representation of depth and motion by m...
Mikhail Soutchanski, Paulo Santos
ER
2008
Springer
96views Database» more  ER 2008»
13 years 8 months ago
A Quality Circle Tool for Software Models
The quality management of software models is an important issue. As a preparative task, the quality circle requires quality planning. After that a software model can repeat the seq...
Hendrik Voigt, Thomas Ruhroth
CORR
2008
Springer
64views Education» more  CORR 2008»
13 years 6 months ago
Implementing general belief function framework with a practical codification for low complexity
In this chapter, we propose a new practical codification of the elements of the Venn diagram in order to easily manipulate the focal elements. In order to reduce the complexity, t...
Arnaud Martin
CORR
2008
Springer
158views Education» more  CORR 2008»
13 years 6 months ago
Declarative Combinatorics: Isomorphisms, Hylomorphisms and Hereditarily Finite Data Types in Haskell
This paper is an exploration in a functional programming framework of isomorphisms between elementary data types (natural numbers, sets, finite functions, permutations binary deci...
Paul Tarau
BMCBI
2008
103views more  BMCBI 2008»
13 years 6 months ago
TOPS++FATCAT: Fast flexible structural alignment using constraints derived from TOPS+ Strings Model
Background: Protein structure analysis and comparison are major challenges in structural bioinformatics. Despite the existence of many tools and algorithms, very few of them have ...
Mallika Veeramalai, Yuzhen Ye, Adam Godzik