2914 search results - page 464 / 583 » Learning and Inference with Constraints |
153
click to vote
KDD
2006
ACM
16 years 6 months ago
2006
ACM
Time-series of count data are generated in many different contexts, such as web access logging, freeway traffic monitoring, and security logs associated with buildings. Since this...
268
click to vote
POPL
2002
ACM
16 years 6 months ago
2002
ACM
Program verification is a promising approach to improving program quality, because it can search all possible program executions for specific errors. However, the need to formally...
166
click to vote
NDSS
2007
IEEE
16 years 5 days ago
2007
IEEE
With Hidden Credentials Alice can send policyencrypted data to Bob in such a way that he can decrypt the data only with the right combination of credentials. Alice gains no knowle...
160
click to vote
ATAL
2007
Springer
16 years 2 days ago
2007
Springer
Tags or observable features shared by a group of similar agents are effectively used in real and artificial societies to signal intentions and can be used to infer unobservable ...
156
click to vote
IJCNN
2006
IEEE
15 years 12 months ago
2006
IEEE
Abstract— Making inferences and choosing appropriate responses based on incomplete, uncertainty and noisy data is challenging in financial settings particularly in bankruptcy de...