8723 search results - page 1633 / 1745 » A New Analysis of Co-Training |
186
click to vote
LCTRTS
2005
Springer
15 years 11 months ago
2005
Springer
Performance guarantees can be given to tasks in an embedded system by ensuring that access to each shared resource is mediated by an appropriate scheduler. However, almost all pre...
190
click to vote
MICAI
2005
Springer
15 years 11 months ago
2005
Springer
In Multi-agent based simulation (MABS) systems, computational models are built as multi-agent systems (MAS). Replication of these models can contribute to improve the reliability o...
168
click to vote
RTA
2005
Springer
15 years 11 months ago
2005
Springer
We present constructive arithmetic in Deduction modulo with rewrite rules only. In natural deduction and in sequent calculus, the cut elimination theorem and the analysis of the st...
176
click to vote
VIZSEC
2005
Springer
15 years 11 months ago
2005
Springer
This paper presents the Intrusion Detection toolkit (IDtk), an information Visualization tool for intrusion detection (ID). IDtk was developed through a user-centered design proce...
153
click to vote
VLDB
2005
ACM
15 years 11 months ago
2005
ACM
Modern computer work stations provide thousands of applications that store data in >100.000 files on the file system of the underlying OS. To handle these files data process...