Sciweavers

440 search results - page 52 / 88
» A challenge for atomicity verification
Sort
View
ICCV
2007
IEEE
16 years 1 months ago
Event Detection in Crowded Videos
Real-world actions occur often in crowded, dynamic environments. This poses a difficult challenge for current approaches to video event detection because it is difficult to segmen...
Yan Ke, Rahul Sukthankar, Martial Hebert
ICS
2009
Tsinghua U.
15 years 6 months ago
Dynamic topology aware load balancing algorithms for molecular dynamics applications
Molecular Dynamics applications enhance our understanding of biological phenomena through bio-molecular simulations. Large-scale parallelization of MD simulations is challenging b...
Abhinav Bhatele, Laxmikant V. Kalé, Sameer ...
KCAP
2009
ACM
15 years 6 months ago
Knowledge engineering rediscovered: towards reasoning patterns for the semantic web
The extensive work on Knowledge Engineering in the 1990s has resulted in a systematic analysis of task-types, and the corresponding problem solving methods that can be deployed fo...
Frank van Harmelen, Annette ten Teije, Holger Wach...
SIGCOMM
2009
ACM
15 years 6 months ago
DECOR: DEClaritive network management and OpeRation
Network management operations are complicated, tedious and error-prone, requiring significant human involvement and expert knowledge. In this paper, we first examine the fundame...
Xu Chen, Yun Mao, Zhuoqing Morley Mao, Jacobus E. ...
ISCAS
2008
IEEE
110views Hardware» more  ISCAS 2008»
15 years 6 months ago
Non-traditional irregular interconnects for massive scale SoC
— By using self-assembling fabrication techniques at the cellular, molecular, or atomic scale, it is nowadays possible to create functional assemblies in a mainly bottom-up way t...
Christof Teuscher, Anders A. Hansson