3047 search results - page 396 / 610 » A Temporal Consensus Model |
160
click to vote
CDC
2010
IEEE
15 years 1 months ago
2010
IEEE
Existing work on programmable self assembly has focused on deterministic performance guarantees--stability of desirable states. In particular, for any acyclic target graph a binary...
199
click to vote
CRV
2006
IEEE
16 years 15 days ago
2006
IEEE
Face processing in video is receiving substantial attention due to its importance in many securityrelated applications. A video provides rich information about a face (multiple fr...
180
click to vote
GECCO
2007
Springer
15 years 10 months ago
2007
Springer
Model Checking is a well-known and fully automatic technique for checking software properties, usually given as temporal logic formulae on the program variables. Most model checke...
161
click to vote
CCS
2008
ACM
15 years 8 months ago
2008
ACM
Pervasive computing environments have created a requirement for spatial- and temporal-aware access control systems. Although temporal, spatial and spatio-temporal role-based acces...
177
click to vote
GRAPHICSINTERFACE
2001
15 years 7 months ago
2001
Physics-based modeling integrates dynamics and geometry. The standard methods to solve the Lagrangian equations use a direct approach in the spatial domain. Though extremely power...