2152 search results - page 150 / 431 » On Automating the Calculus of Relations |
146
click to vote
CORR
2004
Springer
15 years 6 months ago
2004
Springer
The inequations of the delays of the asynchronous circuits are written, by making use of pseudo-Boolean differential calculus. We consider these efforts to be a possible starting p...
132
click to vote
ISBI
2006
IEEE
16 years 7 months ago
2006
IEEE
We present a fully-automated technique for visualizing localized cerebral ventricle shape differences between large clinical subject groups who have received a magnetic resonance ...
200
click to vote
DGO
2008
15 years 7 months ago
2008
Increasingly, taxonomies are being developed for a wide variety of industrial domains and specific applications within those domains. These industry or application specific taxono...
164
click to vote
BMCBI
2010
15 years 6 months ago
2010
Background: Phylogenetic analysis can be used to divide a protein family into subfamilies in the absence of experimental information. Most phylogenetic analysis methods utilize mu...
165
click to vote
EDBT
2000
ACM
15 years 10 months ago
2000
ACM
the research activities. This abstract is to introduce the approach of a data model - EP data model. Its data structure is able to store as a finite set of nodes arbitrary effectiv...