4930 search results - page 755 / 986 » Testing a Safety-Critical Application |
174
click to vote
CSL
2004
Springer
16 years 2 days ago
2004
Springer
Locality notions in logic say that the truth value of a formula can be determined locally, by looking at the isomorphism type of a small neighborhood of its free variables. Such n...
159
click to vote
DAS
2004
Springer
16 years 2 days ago
2004
Springer
Abstract. Most e-mail readers spend a non-trivial amount of time regularly deleting junk e-mail (spam) messages, even as an expanding volume of such e-mail occupies server storage ...
174
click to vote
ECAI
2004
Springer
16 years 2 days ago
2004
Springer
In this work we further investigate the relation, first found by Truszczy´nski, between modal logic S4F and Default Logic (DL), analyzing some interesting properties and showing ...
197
click to vote
ECML
2004
Springer
16 years 2 days ago
2004
Springer
The standard framework of machine learning problems assumes that the available data is independent and identically distributed (i.i.d.). However, in some applications such as image...
186
click to vote
EGPGV
2004
Springer
16 years 2 days ago
2004
Springer
This paper presents I/O solutions for the visualization of time-varying volume data in a parallel and distributed computing environment. Depending on the number of rendering proce...