353 search results - page 33 / 71 » A Family of Data-Parallel Derivations |
80
Voted
LICS
2007
IEEE
15 years 7 months ago
2007
IEEE
We show that tree-like (Gentzen’s calculus) PK where all cut formulas have depth at most a constant d does not simulate cut-free PK. Generally, we exhibit a family of sequents t...
100
click to vote
ICRA
2006
IEEE
15 years 6 months ago
2006
IEEE
— Robots are increasingly being used in Computer Integrated Surgery (CIS) systems, yet to our knowledge, there is no open source software that is specifically targeted at this a...
99
Voted
COLT
2004
Springer
15 years 6 months ago
2004
Springer
One of the nice properties of kernel classifiers such as SVMs is that they often produce sparse solutions. However, the decision functions of these classifiers cannot always be u...
125
click to vote
ICFCA
2004
Springer
15 years 6 months ago
2004
Springer
Traditional logic can be understood as the investigation of the three main essential functions of thinking – concepts, judgements and conclusions. In the last years, in a new res...
115
click to vote
HYBRID
2010
Springer
15 years 5 months ago
2010
Springer
Exponential stability of switched linear systems under both arbitrary and proper switching is studied through two suitably defined families of functions called the strong and the...