3025 search results - page 64 / 605 » Computational geometry: a retrospective |
172
click to vote
ASM
2010
ASM
15 years 9 months ago
2010
ASM
Symmetry reduction is a model checking technique that can help alleviate the problem of state space explosion, by preventing redundant state space exploration. In previous work, we...
173
click to vote
ACL
2012
13 years 8 months ago
2012
Mining retrospective events from text streams has been an important research topic. Classic text representation model (i.e., vector space model) cannot model temporal aspects of d...
147
click to vote
ECAL
2001
Springer
15 years 10 months ago
2001
Springer
Amorphous computing is a recently introduced paradigm that favours geometrical configurations. The physical layout of an amorphous computer is based on a possibly irregular and er...
ICCV
2003
IEEE
16 years 8 months ago
2003
IEEE
