5639 search results - page 1067 / 1128 » Timed Abstract Non-interference |
120
Voted
LATIN
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. We present a probability logic (essentially a first order language extended with quantifiers that count the fraction of elements in a model that satisfy a first order ...
148
click to vote
OOPSLA
2004
Springer
15 years 7 months ago
2004
Springer
Radio Frequency Identification (RFID) technology provides the means to track any object, any time, anywhere with Electronic Product Codes (EPC). A major consequence of this techno...
102
Voted
PATAT
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. Within the field of software agents, there has been increasing interest in automating the process of calendar scheduling in recent years. Calendar (or meeting) schedulin...
111
click to vote
PET
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. In a Ubiquitous Computing environment, sensors are actively collecting data, much of which can be very sensitive. Data will often be streaming at high rates (video and au...
SBIA
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. Most of the work in machine learning assume that examples are generated at random according to some stationary probability distribution. In this work we study the problem...