3130 search results - page 393 / 626 » Design Correctness of Digital Systems |
189
click to vote
USENIX
2007
15 years 9 months ago
2007
Users are storing ever-increasing amounts of information digitally, driven by many factors including government regulations and the public’s desire to digitally record their per...
165
click to vote
WOTUG
2007
15 years 7 months ago
2007
Abstract. Operating-systems are the core software component of many modern computer systems, ranging from small specialised embedded systems through to large distributed operating-...
194
click to vote
KDD
2007
ACM
16 years 7 months ago
2007
ACM
In this study, a novel multidimensional time series classification technique, namely support feature machine (SFM), is proposed. SFM is inspired by the optimization model of suppo...
202
click to vote
STOC
2005
ACM
16 years 7 months ago
2005
ACM
We study an extension of the "standard" learning models to settings where observing the value of an attribute has an associated cost (which might be different for differ...
152
click to vote
ESORICS
2003
Springer
15 years 12 months ago
2003
Springer
Recently, David Chaum proposed an electronic voting scheme that combines visual cryptography and digital processing. It was designed to meet not only mathematical security standard...