1941 search results - page 253 / 389 » Reasoning about Computations Using Two-Levels of Logic |
255
Voted
POPL
2006
ACM
16 years 4 months ago
2006
ACM
Noninterference is the basic semantical condition used to account for confidentiality and integrity-related properties in programming languages. There appears to be an at least im...
153
Voted
TOPLAS
2008
15 years 3 months ago
2008
act Interpretation C. BERNARDESCHI, N. DE FRANCESCO, G. LETTIERI, L. MARTINI, and P. MASCI Universit`a di Pisa Bytecode verification is a key point in the security chain of the Jav...
148
Voted
ICPR
2008
IEEE
16 years 5 months ago
2008
IEEE
In many vision problems, instead of having fully annotated training data, it is easier to obtain just a subset of data with annotations, because it is less restrictive for the use...
112
click to vote
COLING
2006
15 years 3 months ago
2006
and logic defined on certain types of abstract spaces and how that intimate relationship might be exploited when applied in computational linguistics. It is also about an approach ...
235
Voted
GIS
2005
ACM
16 years 4 months ago
2005
ACM
Information about dynamic spatial fields, such as temperature, windspeed, or the concentration of gas pollutant in the air, is important for many environmental applications. At th...