1653 search results - page 6 / 331 » Directed tree-width examples |
177
click to vote
RTA
2005
Springer
16 years 5 days ago
2005
Springer
Proof-carrying code provides a mechanism for insuring that a host, or code consumer, can safely run code delivered by a code producer. The host specifies a safety policy as a set ...
183
click to vote
FUIN
2007
15 years 6 months ago
2007
Proof-carryingcode provides a mechanism for insuring that a host, or code consumer, can safely run code delivered by a code producer. The host specifies a safety policy as a set o...
135
click to vote
CSSC
2010
15 years 6 months ago
2010
: An example was given in the textbook All of Statistics (Wasserman, 2004, pages 186-188) for arguing that, in the problems with a great many parameters Bayesian inferences are wea...
139
click to vote
INFORMATICALT
2002
15 years 6 months ago
2002
High-quality machine translation between human languages has for a long time been an unattainable dream for many computer scientists involved in this fascinating and interdisciplin...
232
Voted
HPCN
1999
Springer
15 years 11 months ago
1999
Springer
Modern scientific computing involves organizing, moving, visualizing, and analyzing massive amounts of data from around the world, as well as employing large-scale computation. The...