4211 search results - page 366 / 843 » Types as Abstract Interpretations |
166
click to vote
JSS
2008
15 years 6 months ago
2008
This article presents the research work that exploits using XML (Extensible Markup Language) to represent different types of information in mobile agent systems, including agent c...
192
click to vote
BMCBI
2005
15 years 6 months ago
2005
Background: Development of robust and efficient methods for analyzing and interpreting high dimension gene expression profiles continues to be a focus in computational biology. Th...
200
click to vote
BMCBI
2005
15 years 6 months ago
2005
Background: A promising direction in the analysis of gene expression focuses on the changes in expression of specific predefined sets of genes that are known in advance to be rela...
186
click to vote
AI
2004
Springer
15 years 6 months ago
2004
Springer
Order-sorted logic has been formalized as first-order logic with sorted terms where sorts are ordered to build a hierarchy (called a sort-hierarchy). These sorted logics lead to u...
178
click to vote
VIS
2007
IEEE
16 years 8 months ago
2007
IEEE
Topological methods give concise and expressive visual representations of flow fields. The present work suggests a comparable method for the visualization of human brain diffusion ...