15421 search results - page 215 / 3085 » Dependability |
117
click to vote
ICSE
2007
IEEE-ACM
16 years 4 months ago
2007
IEEE-ACM
The Verifying Compiler (VC) project is a core component of the Dependable Systems Evolution Grand Challenge. The VC offers the promise of automatically proving that a program or c...
169
click to vote
ICDE
2010
IEEE
16 years 4 months ago
2010
IEEE
Many web databases can be seen as providing partial and overlapping information about entities in the world. To answer queries effectively, we need to integrate the information abo...
132
click to vote
ALT
2006
Springer
16 years 1 months ago
2006
Springer
We address the problem of reinforcement learning in which observations may exhibit an arbitrary form of stochastic dependence on past observations and actions. The task for an age...
115
click to vote
ALT
2005
Springer
16 years 1 months ago
2005
Springer
Abstract. We propose an independence criterion based on the eigenspectrum of covariance operators in reproducing kernel Hilbert spaces (RKHSs), consisting of an empirical estimate ...
148
click to vote
CICLING
2010
Springer
15 years 11 months ago
2010
Springer
This paper deals with theoretical problems found in the work that is being carried out for annotating semantic roles in the Basque Dependency Treebank (BDT). We will present the re...