Sciweavers

2261 search results - page 91 / 453
» Relationships Between Models of Concurrency
Sort
View
ICCV
2009
IEEE
15 years 28 days ago
Modelling Activity Global Temporal Dependencies using Time Delayed Probabilistic Graphical Model
We present a novel approach for detecting global behaviour anomalies in multiple disjoint cameras by learning time delayed dependencies between activities cross camera views. Sp...
Chen Change Loy, Tao Xiang and Shaogang Gong
JCS
1998
117views more  JCS 1998»
13 years 7 months ago
A Semantic-Based Transaction Processing Model for Multilevel Transactions
Multilevel transactions have been proposed for multilevel secure databases; in contrast to most proposals, such transactions allow users to read and write across multiple security...
Indrakshi Ray, Paul Ammann, Sushil Jajodia
DC
2010
13 years 8 months ago
Model checking transactional memories
Model checking software transactional memories (STMs) is difficult because of the unbounded number, length, and delay of concurrent transactions and the unbounded size of the memo...
Rachid Guerraoui, Thomas A. Henzinger, Vasu Singh
CONCURRENCY
2010
172views more  CONCURRENCY 2010»
13 years 5 months ago
Modeling of tsunami waves and atmospheric swirling flows with graphics processing unit (GPU) and radial basis functions (RBF)
The faster growth curves in the speed of GPUs relative to CPUs in the past decade and its rapidly gained popularity have spawned a new area of development in computational technol...
Jessica Schmidt, Cécile Piret, Nan Zhang, B...
W2GIS
2004
Springer
14 years 1 months ago
A Progressive Reprocessing Transaction Model for Updating Spatial Data in Mobile Computing Environments
Mobile transactions for updating spatial data are long-lived transactions that update local copies of the mobile platforms on disconnection. Since a mobile transaction is physicall...
Donghyun Kim, Bonghee Hong