5981 search results - page 444 / 1197 » time 2006 |
198
click to vote
BSN
2006
IEEE
16 years 27 days ago
2006
IEEE
The design of an activity recognition and monitoring system based on the eWatch, multi-sensor platform worn on different body positions, is presented in this paper. The system ide...
153
click to vote
CGI
2006
IEEE
16 years 27 days ago
2006
IEEE
In this work, we address visualization of spatio-temporal data for military application. Four different visualization prototypes have been developed to track the movement of milita...
132
click to vote
CIMCA
2006
IEEE
16 years 27 days ago
2006
IEEE
In this paper, we present a simulation model specifically for investigating formal and informal organisational structures. CAVALIER-NPA (Networks of Planning Agents) is an agent-b...
148
click to vote
DATE
2006
IEEE
16 years 27 days ago
2006
IEEE
Recently, the interest about the Tate pairing over binary fields has decreased due to the existence of efficient attacks to the discrete logarithm problem in the subgroups of su...
174
Voted
DATE
2006
IEEE
16 years 27 days ago
2006
IEEE
This paper presents an effective approach to formally verify SystemC designs. The approach translates SystemC models into a Petri-Net based representation. The Petri-net model is ...