1779 search results - page 242 / 356 » A Formal Model of Data Privacy |
130
click to vote
SIGIR
2005
ACM
15 years 9 months ago
2005
ACM
This paper develops a general, formal framework for modeling term dependencies via Markov random fields. The model allows for arbitrary text features to be incorporated as eviden...
137
click to vote
WCRE
2003
IEEE
15 years 9 months ago
2003
IEEE
Reverse Engineering is a process fraught with imperfections. The importance of dealing with non-precise, possibly inconsistent data explicitly when interacting with the reverse en...
127
click to vote
CGF
2008
15 years 4 months ago
2008
We present a system for creating and manipulating layered procedural surface editing operations, which is motivated by the limited support for iterative design in free-form modeli...
129
Voted
ECBS
2005
IEEE
15 years 9 months ago
2005
IEEE
Testing complex Computer-Based Systems is not only a demanding but a very critical task. Therefore the use of models for generating test data is an important goal. Tool support du...
121
click to vote
EMSOFT
2003
Springer
15 years 9 months ago
2003
Springer
Despite significant research on state-space reductions, the poor scalability of model checking for reasoning about behavioral models of large, complex systems remains the chief ob...