3865 search results - page 157 / 773 » From Bidirectionality to Alternation |
128
click to vote
CSFW
1999
IEEE
15 years 9 months ago
1999
IEEE
The term "intransitive noninterference" refers to the information flow properties required of systems like downgraders, in which it may be legitimate for information to ...
114
click to vote
FM
1999
Springer
15 years 9 months ago
1999
Springer
Refinement semantics is an alternative to least fixpoint semantics that is more useful for programming. From it we derive a variety of rules for w h i l e-loops, for-loops, and loo...
150
click to vote
COCO
2007
Springer
15 years 8 months ago
2007
Springer
We prove new results on the circuit complexity of Approximate Majority, which is the problem of computing Majority of a given bit string whose fraction of 1's is bounded away...
156
click to vote
INTERACT
2003
15 years 6 months ago
2003
: Using speech input to augment the remote control can be an alternative interaction technique for interactive television. However, little is known about how to design such a syste...
146
click to vote
ACL
2000
15 years 6 months ago
2000
We discuss the advantages of lexicalized tree-adjoining grammar as an alternative to lexicalized PCFG for statistical parsing, describingthe induction of a probabilistic LTAG mode...