2290 search results - page 199 / 458 » Extensible Protected Types |
153
click to vote
GECCO
2005
Springer
16 years 2 days ago
2005
Springer
We have investigated the potential for using genetic programming to evolve compiler parsing and translation routines for processing arithmetic and logical expressions as they are ...
136
click to vote
TBILLC
2005
Springer
16 years 19 hour ago
2005
Springer
We implement the extension of the logical consequence relation to a partial order ≤ on arbitary types built from e (entities) and t (Booleans) that was given in [1], and the deï...
180
click to vote
INLG
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. We present a new approach to the generation of referring expressions containing attributive, type and relational properties combined by conjunctions, disjunctions and neg...
189
click to vote
PET
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. We develop a language-based approach for modeling and verifying aspects of privacy policies. Our approach relies on information-flow control. Concretely, we use the prog...
166
click to vote
HPDC
2002
IEEE
15 years 11 months ago
2002
IEEE
In this paper, we describe FOBS: a simple userlevel communication protocol designed to take advantage of the available bandwidth in a highbandwidth, high-delay network environment...