692 search results - page 56 / 139 » Understanding Finiteness Analysis Using Abstract Interpretat... |
108
click to vote
BMCBI
2008
14 years 12 months ago
2008
Background: The exponential growth of research in molecular biology has brought concomitant proliferation of databases for stocking its findings. A variety of protein sequence dat...
CLADE
2004
IEEE
15 years 3 months ago
2004
IEEE
This paper presents the design, development and evaluation of a prototype peer-to-peer collaboratory for imaging, analyzing, and seamlessly sharing tissue microarrays (TMA), corre...
ASE
2004
14 years 11 months ago
2004
Abstract. The use of pointers presents serious problems for software productivity tools for software understanding, restructuring, and testing. Pointers enable indirect memory acce...
121
click to vote
CORR
2007
Springer
14 years 11 months ago
2007
Springer
Abstract. Mesh numbering is a critical issue in Finite Element Methods, as the computational cost of one analysis is highly dependent on the order of the nodes of the mesh. This pa...
IROS
2007
IEEE
15 years 6 months ago
2007
IEEE
Abstract— The future of robots, as our companions is dependent on their ability to understand, interpret and represent the environment in a human compatible manner. Towards this ...