2299 search results - page 181 / 460 » Logical Data Expiration |
167
click to vote
INTERSPEECH
2010
14 years 11 months ago
2010
Practical supervised learning scenarios involving subjectively evaluated data have multiple evaluators, each giving their noisy version of the hidden ground truth. Majority logic ...
132
click to vote
TLDI
2003
ACM
15 years 9 months ago
2003
ACM
We extend Cyclone, a type-safe polymorphic language at vel of abstraction, with threads and locks. Data races can violate type safety in Cyclone. An extended type system staticall...
142
click to vote
IJNSEC
2008
15 years 4 months ago
2008
In group communication, users often have different access rights to multiple data streams. Based on the access relation of users and data streams, users can form partially ordered...
140
click to vote
KDD
2009
ACM
16 years 4 months ago
2009
ACM
Correlated or discriminative pattern mining is concerned with finding the highest scoring patterns w.r.t. a correlation measure (such as information gain). By reinterpreting corre...
152
click to vote
SPIN
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. In the classic approach to logic model checking, software verification requires a manually constructed artifact (the model) to be written in the language that is accepted...