5030 search results - page 215 / 1006 » cases 2007 |
158
click to vote
LICS
2007
IEEE
16 years 1 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...
194
click to vote
SMC
2007
IEEE
16 years 1 months ago
2007
IEEE
Adapting to current context of usage is of fundamental importance for pervasive computing services. As the technology for acquiring contextual information is increasingly availabl...
211
click to vote
CORR
2007
Springer
15 years 7 months ago
2007
Springer
Safety-criticalembeddedsystems having to meet real-time constraints are to be highlypredictable in order to guarantee at design time that certain timing deadlines will always be m...
169
click to vote
SIGSOFT
2007
ACM
16 years 8 months ago
2007
ACM
Use case diagrams (UCDs) are widely used to describe requirements and desired functionality of software products. However, UCDs are loosely linked to source code, and maintaining ...
215
click to vote
ICASSP
2007
IEEE
16 years 1 months ago
2007
IEEE
In this paper, we analyze the convergence of an iterative selftraining semi-supervised support vector machine (SVM) algorithm, which is designed for classi cation in small trainin...