7124 search results - page 793 / 1425 » Programming Languages and Operating Systems |
204
click to vote
FUZZIEEE
2007
IEEE
16 years 1 months ago
2007
IEEE
— Fuzzy Description Logics (fuzzy DLs) have been proposed as a language to describe structured knowledge with vague concepts. It is well known that the choice of the fuzzy operat...
195
click to vote
ICALP
2007
Springer
16 years 1 months ago
2007
Springer
Motivated by the challenging task of designing “secure” vote storage mechanisms, we study information storage mechanisms that operate in extremely hostile environments. In suc...
181
click to vote
IFIP
2007
Springer
16 years 1 months ago
2007
Springer
Super-resolution algorithms typically improve the resolution of a video frame by mapping and performing signal processing operations on data from frames immediately preceding and i...
146
click to vote
ICALP
2005
Springer
16 years 24 days ago
2005
Springer
This paper presents a new protocol for atomic broadcast in an asynchronous network with a maximal number of Byzantine failures. It guarantees both safety and liveness without maki...
208
click to vote
JAPLL
2010
15 years 2 months ago
2010
The satisfiability problem of hybrid logics with the downarrow binder is known to be undecidable. This initiated a research program on decidable and tractable fragments. In this p...