10539 search results - page 379 / 2108 » On L |
184
click to vote
APCSAC
2001
IEEE
15 years 10 months ago
2001
IEEE
We present a framework that allows applications to build and customize VM services on the L4 microkernel. While the L4 microkernel's abstractions are quite powerng these abst...
183
click to vote
NIPS
2007
15 years 8 months ago
2007
We demonstrate that log-linear grammars with latent variables can be practically trained using discriminative methods. Central to efficient discriminative training is a hierarchi...
167
click to vote
SDM
2007
SIAM
15 years 8 months ago
2007
SIAM
We propose the use of random projections with a sparse matrix to maintain a sketch of a collection of high-dimensional data-streams that are updated asynchronously. This sketch al...
154
click to vote
CIE
2008
Springer
15 years 7 months ago
2008
Springer
We study the complexity of the model checking problem, for fixed models A, over certain fragments L of first-order logic, obtained by restricting which of the quantifiers and boole...
164
click to vote
AI
2006
Springer
15 years 7 months ago
2006
Springer
The Spohnian paradigm of ranking functions is in many respects like an order-of-magnitude reverse of subjective probability theory. Unlike probabilities, however, ranking function...