1350 search results - page 131 / 270 » Generalized Committed Choice |
240
Voted
POPL
2006
ACM
16 years 4 months ago
2006
ACM
This article investigates formal properties of a family of semantically sound flow-sensitive type systems for tracking information flow in simple While programs. The family is ind...
265
click to vote
POPL
2004
ACM
16 years 4 months ago
2004
ACM
For decades we have been using Chomsky's generative system of grammars, particularly context-free grammars (CFGs) and regular expressions (REs), to express the syntax of prog...
153
click to vote
IWANN
2001
Springer
15 years 9 months ago
2001
Springer
One of the main research concern in neural networks is to find the appropriate network size in order to minimize the trade-off between overfitting and poor approximation. In this ...
159
click to vote
DCC
1998
IEEE
15 years 8 months ago
1998
IEEE
Multiple description coding (MDC) is source coding for multiple channels such that a decoder which receives an arbitrary subset of the channels may produce a useful reconstruction...
121
click to vote
MICCAI
1999
Springer
15 years 8 months ago
1999
Springer
Abstract. Snakes have become a standard image analysis technique with several variants now in common use. We have developed a software package called “United Snakes”. It unifi...