8636 search results - page 1344 / 1728 » How Developers Copy |
152
Voted
CHARME
2003
Springer
15 years 8 months ago
2003
Springer
In formal verification, we verify that a system is correct with respect to a specification. Even when the system is proven to be correct, there is still a question of how complete ...
145
Voted
CIARP
2003
Springer
15 years 8 months ago
2003
Springer
Classification problems are traditionally focused on uniclass samples, that is, each sample of the training and test sets has one unique label, which is the target of the classific...
173
click to vote
COLT
2000
Springer
15 years 8 months ago
2000
Springer
In the present paper, we present the theoretical basis, as well as an empirical validation, of a protocol designed to obtain effective VC dimension estimations in the case of a si...
141
click to vote
EDBT
2000
ACM
15 years 8 months ago
2000
ACM
The MIX mediator systems incorporates a novel framework for navigation-driven evaluation of virtual mediated views. Its architecture allows the on-demand computation of views and q...
153
click to vote
ESAW
2000
Springer
15 years 8 months ago
2000
Springer
The design and development of Internet applications can take advantage of a paradigm based on autonomous and mobile agents. However, agent mobility introduces peculiar coordinatio...