2969 search results - page 175 / 594 » A space efficient algorithm for group structure computation |
138
Voted
BROADNETS
2004
IEEE
15 years 7 months ago
2004
IEEE
One important application of wireless sensor networks is tracking moving objects. The recent progress has made it possible for tiny sensors to have more computing power and storag...
125
Voted
SPIN
2004
Springer
15 years 9 months ago
2004
Springer
The Murϕ-based Hopper tool is a general purpose explicit model checker. Hopper leverages Murϕ’s class structure to implement new algorithms. Hopper differs from Murϕ in that i...
143
click to vote
ATAL
2004
Springer
15 years 7 months ago
2004
Springer
The coalition formation process, in which a number of independent, autonomous agents come together to act as a collective, is an important form of interaction in multiagent system...
152
Voted
ICPR
2004
IEEE
16 years 4 months ago
2004
IEEE
In this paper, we propose an unsupervised approach to select representative face samples (models) from raw videos and build an appearance-based face recognition system. The approa...
111
Voted
ASPDAC
2007
ACM
15 years 7 months ago
2007
ACM
In today's designs, when functional verification fails, engineers perform debugging using the provided error traces. Reducing the length of error traces can help the debugging...