5608 search results - page 601 / 1122 » Structure description tools |
184
click to vote
ECBS
2003
IEEE
16 years 9 days ago
2003
IEEE
We present an algebraic framework for evidence exploration: the process of interpreting, manipulating, and navigating the proof structure or evidence produced by a model checker w...
138
click to vote
IS4TH
2003
Springer
16 years 6 days ago
2003
Springer
In the last few years, radiofrequency ablation has become one of the most promising techniques to treat liver tumors. But radiologists have to face the difficulty of planning their...
186
click to vote
SIBGRAPI
1999
IEEE
15 years 11 months ago
1999
IEEE
Abstract. Mathematical morphology has become a widely used technique for image processing and computer vision. Initially designed as a set theory, it was generalized to the set of ...
186
click to vote
GTTSE
2007
Springer
15 years 11 months ago
2007
Springer
Domain-specific modelling languages provide modelling means tailored to a particular domain. In Model-driven Engineering, it is common practice to specify such languages by modelli...
198
click to vote
ACSC
2004
IEEE
15 years 10 months ago
2004
IEEE
Search engines are an essential tool for modern life. We use them to discover new information on diverse topics and to locate a wide range of resources. The search process in all ...