1413 search results - page 141 / 283 » Bisimilarity of Open Terms |
181
click to vote
ALT
2004
Springer
16 years 3 months ago
2004
Springer
A revision algorithm is a learning algorithm that identifies the target concept, starting from an initial concept. Such an algorithm is considered efficient if its complexity (in ...
180
click to vote
PEPM
2009
ACM
16 years 3 months ago
2009
ACM
The goal of the Parfait project is to find bugs in C source code in a scalable and precise way. To this end, Parfait was designed as a framework with layers of sound program anal...
181
click to vote
WWW
2010
ACM
16 years 1 months ago
2010
ACM
Relational databases hold a vast quantity of information and making them accessible to the web is an big challenge. There is a need to make these databases accessible with as litt...
154
click to vote
WWW
2010
ACM
16 years 1 months ago
2010
ACM
Cross-site scripting flaws have now surpassed buffer overflows as the world’s most common publicly-reported security vulnerability. In recent years, browser vendors and resea...
162
click to vote
CHI
2010
ACM
16 years 1 months ago
2010
ACM
The continuing epidemics of diabetes and obesity create much need for information technologies that can help individuals engage in proactive health management. Yet many of these t...