712 search results - page 108 / 143 » New Techniques for Generation and Analysis of Evolutionary T... |
PEPM
2009
ACM
14 years 4 months ago
2009
ACM
Exhaustive model checking search techniques are ineffective for error discovery in large and complex multi-threaded software systems. Distance estimate heuristics guide the concre...
MEDIAFORENSICS
2010
13 years 9 months ago
2010
Digital multimedia such as images and videos are prevalent on today's internet and cause significant social impact, which can be evidenced by the proliferation of social netw...
ALGORITHMICA
2002
13 years 7 months ago
2002
In recent years there has been an upsurge of interest in spatial databases. A major issue is how to manipulate efficiently massive amounts of spatial data stored on disk in multidi...
VC
2008
13 years 7 months ago
2008
We synthesize new human body motions from existing motion data. We divide the body of an animated character into several parts, such as to upper and lower body, and partition the m...
AFRIGRAPH
2004
ACM
14 years 1 months ago
2004
ACM
– Application services are fundamental network components that allow organizations the ability to operate efficiently. It has become essential for organizations to monitor the pe...