5900 search results - page 198 / 1180 » Dependable Systems |
161
click to vote
FOSSACS
2003
Springer
15 years 11 months ago
2003
Springer
We develop a system of type assignment with intersection types, union types, indexed types, and universal and existential dependent types that is sound in a call-by-value functiona...
197
click to vote
EMNLP
2007
15 years 7 months ago
2007
We describe a two-stage optimization of the MaltParser system for the ten languages in the multilingual track of the CoNLL 2007 shared task on dependency parsing. The first stage...
156
click to vote
ETFA
2005
IEEE
15 years 11 months ago
2005
IEEE
Industrial control systems architectures have been evolving to the decentralization of control tasks. This evolution associated with the time-critical nature of these tasks, incre...
147
click to vote
SAC
2003
ACM
15 years 11 months ago
2003
ACM
We study in this paper the problem of broadcasting dependent data for unordered queries. However, most prior studies on dependent data broadcasting are limited to the premise of n...
161
click to vote
UAI
1994
15 years 7 months ago
1994
Most traditional models of uncertainty have focused on the associational relationship among variables as captured by conditional dependence. In order to successfully manage intell...