861 search results - page 87 / 173 » Symbolic Program Analysis Using Term Rewriting and Generaliz... |
149
click to vote
EMSOFT
2005
Springer
15 years 8 months ago
2005
Springer
Real-time systems have reached a level of complexity beyond the scaling capability of the low-level or restricted languages traditionally used for real-time programming. While Met...
110
click to vote
SIGDOC
2003
ACM
15 years 8 months ago
2003
ACM
Artificial intelligence techniques have found a number of applications in hypermedia, mostly in two specific areas, user interface, particularly adaptive ones and information sear...
201
click to vote
POPL
2012
ACM
13 years 10 months ago
2012
ACM
It is becoming increasingly important for applications to protect sensitive data. With current techniques, the programmer bears the burden of ensuring that the application’s beh...
152
click to vote
TMI
2002
15 years 2 months ago
2002
This paper presents a fully automated segmentation method for medical images. The goal is to localize and parameterize a variety of types of structure in these images for subsequen...
130
click to vote
IWPSE
2010
IEEE
15 years 1 months ago
2010
IEEE
FOSS (Free and Open Source System) is repeatedly modied and reused by other FOSS or proprietary software systems. They are released to others under specic licenses whose terms and...