9405 search results - page 1241 / 1881 » Computing a Model of Set Theory |
206
click to vote
SOFSEM
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. Large information spaces and complex functionality of contemporary systems together with the advent of the Semantic Web are big challenges for the design of simple yet po...
223
click to vote
SCCC
2005
IEEE
16 years 24 days ago
2005
IEEE
Databases may not satisfy integrity constraints (ICs) for several reasons. Nevertheless, in most of the cases an important part of the data is still consistent wrt certain desired...
207
click to vote
SIGIR
2005
ACM
16 years 23 days ago
2005
ACM
We study a new task, proactive information retrieval by combining implicit relevance feedback and collaborative filtering. We have constructed a controlled experimental setting, ...
191
click to vote
EMSOFT
2004
Springer
16 years 18 days ago
2004
Springer
Embedded systems are electronic devices that function in the context of a real environment, by sensing and reacting to a set of stimuli. Because of their close interaction with th...
220
click to vote
ICALP
2003
Springer
16 years 12 days ago
2003
Springer
Many protocols are designed to operate correctly even in the case where the underlying communication medium is faulty. To capture the behaviour of such protocols, lossy channel sy...