3025 search results - page 64 / 605 » Computational geometry: a retrospective |
ASM
2010
ASM
14 years 1 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...
ACL
2012
12 years 11 days 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...
ECAL
2001
Springer
14 years 2 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
14 years 12 months ago
2003
IEEE
ICPR
2002
IEEE
14 years 11 months ago
2002
IEEE
