2175 search results - page 176 / 435 » From Human Knowledge to Process Models |
121
click to vote
CVPR
2000
IEEE
16 years 5 months ago
2000
IEEE
Humans have an innate ability to perceive symmetry, but it is not obvious how to automate this powerful insight. In this paper the mathematical theory of Frieze and wallpaper grou...
154
Voted
FMCAD
2008
Springer
15 years 5 months ago
2008
Springer
Parameterized model checking refers to any method that extends traditional, finite-state model checking to handle systems arbitrary number of processes. One popular approach to thi...
132
Voted
ICFP
2001
ACM
16 years 3 months ago
2001
ACM
Lula is a system for computer-assisted stage lighting design and control. Whereas other systems for the same purpose are usually the results of long chains of incremental improvem...
135
Voted
CIKM
2007
Springer
15 years 9 months ago
2007
Springer
Challenging the implicit reliance on document collections, this paper discusses the pros and cons of using query logs rather than document collections, as self-contained sources o...
144
Voted
SIGIR
2008
ACM
15 years 3 months ago
2008
ACM
Several recent studies have found only a weak relationship between the performance of a retrieval system and the "success" achievable by human searchers. We hypothesize ...