4770 search results - page 678 / 954 » Flexible Type Analysis |
176
click to vote
TSD
2005
Springer
16 years 4 days ago
2005
Springer
Although speech, derived from reading texts, and similar types of speech, e.g. that from reading newspapers or that from news broadcast, can be recognized with high accuracy, recog...
166
click to vote
DOLAP
2004
ACM
16 years 2 days ago
2004
ACM
Computer system sizing involves estimating the amount of hardware resources needed to support a new workload not yet deployed in a production environment. In order to determine th...
163
click to vote
PLDI
2004
ACM
16 years 2 days ago
2004
ACM
Many program analyses can be reduced to graph reachability problems involving a limited form of context-free language reachability called Dyck-CFL reachability. We show a new redu...
168
click to vote
ESORICS
2004
Springer
16 years 1 days ago
2004
Springer
Parameters of a program’s runtime environment such as the machine architecture and operating system largely determine whether a vulnerability can be exploited. For example, the m...
169
click to vote
ICALP
2004
Springer
16 years 1 days ago
2004
Springer
We present a domain-theoretic version of Picard’s theorem for solving classical initial value problems in Rn . For the case of vector fields that satisfy a Lipschitz condition, ...