2509 search results - page 311 / 502 » Abstract Geometrical Computation and Computable Analysis |
153
click to vote
SEFM
2007
IEEE
16 years 16 days ago
2007
IEEE
of abstract interpretations in formal methods It is always very satisfying to hear about a theory, in the case at hand it is the theory of abstract interpretations, that explains i...
156
click to vote
IWPC
2003
IEEE
15 years 11 months ago
2003
IEEE
In the last decades several tools and environments defined and introduced languages for querying, navigating sforming abstract syntax trees. These environments were meant to supp...
156
click to vote
CLADE
2004
IEEE
15 years 10 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...
179
click to vote
BALT
2010
15 years 1 months ago
2010
Abstract. This paper addresses the pattern matching problem for model transformation languages. Despite being an NP-complete problem, the pattern matching can be solved efficiently...
156
click to vote
ECCV
2006
Springer
16 years 8 months ago
2006
Springer
Abstract. Vision systems for various tasks are increasingly being deployed. Although significant effort has gone into improving the algorithms for such tasks, there has been relati...