1884 search results - page 90 / 377 » Simple Algorithm for Simple Timed Games |
69
Voted
KBSE
2009
IEEE
15 years 5 months ago
2009
IEEE
Abstract—Many applications are concurrent and communicate over a network. The non-determinism in the thread and communication schedules makes it desirable to model check such sys...
PAKDD
2007
ACM
15 years 4 months ago
2007
ACM
This work presents a kernel method for clustering the nodes of a weighted, undirected, graph. The algorithm is based on a two-step procedure. First, the sigmoid commute-time kernel...
74
Voted
ICCV
1995
IEEE
15 years 1 months ago
1995
IEEE
In this paper we suggest an approach to describing and tracking the deformation of facial features. We concentrate on the mouth since its shape is important in detecting emotion, ...
TII
2010
14 years 5 months ago
2010
With growing cost of electricity, the power management of server clusters has become an important problem. However, most previous researchers only address the challenge in homogen...
80
Voted
SSS
2010
Springer
14 years 8 months ago
2010
Springer
In this paper we present new distributed protocols to color even rings and general bipartite graphs. Our motivation is to provide algorithmic explanation for human subject experime...