1914 search results - page 188 / 383 » Verification by Abstract Interpretation |
174
click to vote
JBI
2007
15 years 5 months ago
2007
In medical image analysis, the image content is often represented by computed features that need to be interpreted at a clinical level of understanding to support lopment of clini...
150
click to vote
IUI
2012
ACM
14 years 23 days ago
2012
ACM
Recent computer vision approaches are aimed at richer image interpretations that extend the standard recognition of objects in images (e.g., cars) to also recognize object attribu...
171
click to vote
POPL
2012
ACM
14 years 22 days ago
2012
ACM
Functional reactive programming (FRP) is an elegant and successful approach to programming reactive systems declaratively. The high levels of abstraction and expressivity that mak...
146
click to vote
ICDAR
1997
IEEE
15 years 9 months ago
1997
IEEE
The purpose of a document is to facilitate the transfer of information from its author to its readers. It is the author’s job to design the document so that the information it c...
207
Voted
AOSD
2008
ACM
15 years 7 months ago
2008
ACM
e instantiation is the transformation of abstract test cases cutable test scripts. Abstract test cases are either created during model based test case generation or are manually d...