7924 search results - page 362 / 1585 » Non-Malleable Functions and Their Applications |
171
click to vote
PVLDB
2008
15 years 7 months ago
2008
Immortal DB is a transaction time database system designed to enable high performance for temporal applications. It is built into a commercial database engine, Microsoft SQL Serve...
211
click to vote
TMI
2008
15 years 7 months ago
2008
A method is presented for the analysis of dynamic positron emission tomography (PET) data using sparse Bayesian learning. Parameters are estimated in a compartmental framework usin...
155
click to vote
ICRA
2010
IEEE
15 years 6 months ago
2010
IEEE
— The Kuka Control Toolbox (KCT) is a collection of MATLAB functions for motion control of KUKA robot manipulators, developed to offer an intuitive and high-level programming int...
212
click to vote
JCO
2010
15 years 6 months ago
2010
We study the extremal parameter N(n, m, H) which is the largest number of copies of a hypergraph H that can be formed of at most n vertices and m edges. Generalizing previous work...
208
click to vote
LICS
2010
IEEE
15 years 6 months ago
2010
IEEE
—There are two usual ways to describe equality in a dependent typing system, one that uses an external notion of computation like beta-reduction, and one that introduces a typed ...