1102 search results - page 179 / 221 » Generalizing Updates: From Models to Programs |
120
Voted
CIKM
2011
Springer
14 years 13 days ago
2011
Springer
We present Nyaya, a system for the management of Semantic-Web data which couples a general-purpose and extensible storage mechanism with efficient ontology reasoning and querying ...
115
Voted
ESANN
2004
15 years 1 months ago
2004
This paper is based on a new way for determining the regularization trade-off in least squares support vector machines (LS-SVMs) via a mechanism of additive regularization which ha...
125
Voted
JACM
2002
15 years 4 days ago
2002
We show how to use an interactive theorem prover, HOL, together with a model checker, SPIN, to prove key properties of distance vector routing protocols. We do three case studies: ...
93
Voted
SIGGRAPH
1987
ACM
15 years 4 months ago
1987
ACM
Ray tracing produces point samples of an image from a 3-D model. Constructing an antialiased digital picture from point samples is difficult without resorting to extremely high sa...
117
click to vote
ASPLOS
2009
ACM
15 years 4 months ago
2009
ACM
Optical Quadrature Microscopy (OQM) is a process which uses phase data to capture information about the sample being studied. OQM is part of an imaging framework developed by the ...