5550 search results - page 956 / 1110 » Different Approaches to Proof Systems |
163
click to vote
PVM
2005
Springer
16 years 2 days ago
2005
Springer
Many large-scale production parallel programs often run for a very long time and require data checkpoint periodically to save the state of the computation for program restart and/o...
162
click to vote
RAID
2005
Springer
16 years 2 days ago
2005
Springer
New features of the PAYL anomalous payload detection sensor are demonstrated to accurately detect and generate signatures for zero-day worms. Experimental evidence demonstrates tha...
169
click to vote
IUI
2004
ACM
16 years 19 hour ago
2004
ACM
Today the availability of large digital content archives (video, ebook, audio) creates many problems in terms of user interaction and data manipulation (browsing, searching). Many...
147
click to vote
DAS
2004
Springer
15 years 12 months ago
2004
Springer
Annotations on digital documents have clear advantages over annotations on paper. They can be archived, shared, searched, and easily manipulated. Freeform digital ink annotations a...
165
click to vote
DEXA
2004
Springer
15 years 12 months ago
2004
Springer
Reasoning in legal and social domains appears not to be well dealt with by deductive approaches. This is because such reasoning is open-endedly defeasible, and because the various ...