15660 search results - page 46 / 3132 » The Unbalance of Set Systems |
114
click to vote
CORR
2011
Springer
14 years 6 months ago
2011
Springer
In this paper we consider the k-set agreement problem in distributed round-based systems where processes communicate by message passing. We capture the synchrony and reliability o...
IR
2002
14 years 11 months ago
2002
An experimental adaptive filtering system, built on the Okapi search engine, is described. In addition to the regular text retrieval functions, the system requires a complex set o...
101
click to vote
KSEM
2010
Springer
14 years 9 months ago
2010
Springer
We examine the practicality for a user of using Answer Set Programming (ASP) for representing logical formalisms. Our example is a formalism aiming at capturing causal explanation...
ICSE
2003
IEEE-ACM
15 years 12 months ago
2003
IEEE-ACM
Database systems play an important role in nearly every modern organization, yet relatively little research effort has focused on how to test them. AGENDA, A (test) GENerator for ...
109
click to vote
MKM
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. We have formalized material from an introductory real analysis textbook in the proof assistant Scunak. Scunak is a system based on set theory encoded in a dependent type ...