395 search results - page 69 / 79 » Decision Problems for Convex Languages |
109
Voted
SP
2010
IEEE
15 years 3 months ago
2010
IEEE
—As AJAX applications gain popularity, client-side JavaScript code is becoming increasingly complex. However, few automated vulnerability analysis tools for JavaScript exist. In ...
111
click to vote
CIKM
2000
Springer
15 years 3 months ago
2000
Springer
Geographic Information Systems (GISs) have become an essential tool for efficient handling of our natural and artificial environment. The most important activities in a GIS are qu...
137
click to vote
TACAS
2000
Springer
15 years 3 months ago
2000
Springer
Salsa is an invariant checker for speci cations in SAL the SCR Abstract Language. To establish a formula as an invariant without any user guidance Salsa carries out an induction pr...
NIPS
2004
15 years 1 months ago
2004
Coreference analysis, also known as record linkage or identity uncertainty, is a difficult and important problem in natural language processing, databases, citation matching and m...
LFP
1994
15 years 1 months ago
1994
We present the rst system for estimating and using datadependent expression execution times in a language with rst-class procedures and imperative constructs. The presence of rst-...