7167 search results - page 179 / 1434 » A Technique for Invariant Generation |
198
click to vote
CSCLP
2005
Springer
16 years 20 days ago
2005
Springer
Problems that can be sampled randomly are a good source of test suites for comparing quality of constraint satisfaction techniques. Quasigroup problems are representatives of struc...
189
click to vote
ICWSM
2010
15 years 8 months ago
2010
In many collaborative systems, researchers are interested in creating representative user profiles. In this paper, we are particularly interested in using social labeling and auto...
179
click to vote
FORTE
2008
15 years 8 months ago
2008
Abstract. Model generation is an important formal technique for finding interesting instances of computationally hard problems. In this paper we study model generation over Horn lo...
177
click to vote
CHI
2007
ACM
16 years 7 months ago
2007
ACM
We are in the midst of an explosion of emerging human-computer interaction techniques that have redefined our understanding of both computers and interaction. We propose the notio...
157
click to vote
ICCD
2004
IEEE
16 years 4 months ago
2004
IEEE
Formal and dynamic (simulation, emulation, etc.) verification techniques are both needed to deal with the overall challenge of verification. Ideally, the same specification/tes...