1792 search results - page 162 / 359 » e-Participation and Decision Analysis |
TCS
2002
14 years 10 months ago
2002
An instance of the (Generalized) Post Correspondence Problem is during the decision process typically reduced to one or more other instances, called its successors. In this paper ...
73
Voted
TIT
2002
14 years 10 months ago
2002
This paper proves large-system asymptotic normality of the output of a family of linear multiuser receivers that can be arbitrarily well approximated by polynomial receivers. This ...
TSMC
2002
14 years 10 months ago
2002
Object-orientation and distributed systems are quickly becoming norms for new system development, generating renewed interest in distribution schemes traditionally directed at rela...
102
click to vote
PVLDB
2008
14 years 10 months ago
2008
Though inevitable for effective cost-based query rewriting, the derivation of meaningful cardinality estimates has remained a notoriously hard problem in the context of XQuery. By...
105
click to vote
ICFEM
2010
Springer
14 years 9 months ago
2010
Springer
Abstract. The success of industrial-scale model checkers such as Uppaal [3] or NuSMV [12] relies on the efficiency of their respective symbolic state space representations. While d...