882 search results - page 72 / 177 » Application portals: practice and experience |
TSMC
2008
13 years 7 months ago
2008
Given a genome, i.e., a long string over a fixed finite alphabet, the problem is to find short (dis)similar substrings. This computationally intensive task has many biological appl...
VRST
2010
ACM
13 years 5 months ago
2010
ACM
Creating natural motion transitions between different motion clips is crucial for reusing and editing character animations. Perception of motion transitions in a pedestrian crowd ...
MM
2006
ACM
14 years 1 months ago
2006
ACM
We present “equiveillance” as a conceptual framework for understanding the balance between surveillance and sousveillance. In addition to this conceptual framework we also pre...
ICCS
2007
Springer
13 years 9 months ago
2007
Springer
Abstract. Humanity’s understanding of the Earth’s weather and climate depends critically on accurate forecasting and state-estimation technology. It is not clear how to build a...
CONCUR
2007
Springer
13 years 11 months ago
2007
Springer
We re-examine vacuity in temporal logic model checking. We note two disturbing phenomena in recent results in this area. The first indicates that not all vacuities detected in prac...