1779 search results - page 184 / 356 » A Formal Model of Data Privacy |
143
click to vote
FMCAD
2000
Springer
15 years 8 months ago
2000
Springer
Abstract. This paper presents a scalable method for parallel symbolic on-the-fly model checking in a distributed memory environment. Our method combines a scheme for on-the-fly mod...
128
click to vote
NIPS
2007
15 years 6 months ago
2007
Bayesian models of multisensory perception traditionally address the problem of estimating an underlying variable that is assumed to be the cause of the two sensory signals. The b...
161
click to vote
FMCAD
2008
Springer
15 years 6 months ago
2008
Springer
el Sequential Memory Abstraction for Model Checking Per Bjesse Advanced Technology Group Synopsys Inc. Many designs intermingle large memories with wide data paths and nontrivial c...
128
click to vote
IRI
2006
IEEE
15 years 10 months ago
2006
IEEE
Hurricanes are one of the deadliest and perilous natural calamities on the face of earth having a severe impact both on the lives of the people and economy of a nation. Attempts h...
133
click to vote
AIME
2005
Springer
15 years 10 months ago
2005
Springer
Time, events, changes, and processes play a major role in medical conceptual modeling. Representation of time-structures and reasoning about time-oriented medical data are importan...