5570 search results - page 882 / 1114 » Applications of Fair Testing |
146
click to vote
ADHOCNOW
2004
Springer
15 years 10 months ago
2004
Springer
Supporting nodes without Global Positioning System (GPS) capability, in wireless ad hoc and sensor networks, has numerous applications in guidance and surveying systems in use toda...
139
click to vote
CDB
2004
Springer
15 years 10 months ago
2004
Springer
Constraint Processing and Database techniques overlap significantly. We discuss here the application of a constraint satisfaction technique, called dynamic bundling, to databases....
143
click to vote
CSL
2004
Springer
15 years 10 months 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...
131
click to vote
DAS
2004
Springer
15 years 10 months 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 ...
137
click to vote
ECAI
2004
Springer
15 years 10 months 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 ...