5863 search results - page 834 / 1173 » On Model-Checking of P Systems |
170
Voted
VR
2008
IEEE
16 years 1 months ago
2008
IEEE
Most projector-based immersive displays have numerous problems relating to complexity, space, and cost. We present a technique for rendering perspectively correct images using a c...
199
click to vote
CRV
2007
IEEE
16 years 1 months ago
2007
IEEE
In this paper we present a system for automatic annotation of humans passing a surveillance camera. Each human has 4 associated annotations: the primary color of the clothing, the...
193
click to vote
ECRTS
2007
IEEE
16 years 1 months ago
2007
IEEE
We propose a hybrid approach for scheduling real-time tasks on large-scale multicore platforms with hierarchical shared caches. In this approach, a multicore platform is partition...
148
click to vote
HICSS
2007
IEEE
16 years 1 months ago
2007
IEEE
Voters in a democracy have the responsibility to learn about the candidates and issues on which they are deciding. The internet offers voters unparalleled opportunities for findin...
155
click to vote
IAT
2007
IEEE
16 years 1 months ago
2007
IEEE
A major challenge in the field of Multi-Agent Systems is to enable autonomous agents to allocate tasks efficiently. This paper extends previous work on an approach to the collec...