6704 search results - page 883 / 1341 » Testing Scenario-Based Models |
143
click to vote
CIDM
2007
IEEE
16 years 23 days ago
2007
IEEE
— There are several types of processes which can be modeled explicitly by recording the interactions between a set of actors over time. In such applications, a common objective i...
170
click to vote
CIRA
2007
IEEE
16 years 23 days ago
2007
IEEE
—Many researchers have been encouraged to investigate the design, posture and stability of biped robots in order to replicate the anthropoid gait. This paper addresses the design...
192
click to vote
CRV
2007
IEEE
16 years 23 days 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...
164
click to vote
CSFW
2007
IEEE
16 years 23 days ago
2007
IEEE
We present a new mechanized prover for showing correspondence assertions for cryptographic protocols in the computational model. Correspondence assertions are useful in particular...
101
click to vote
ICC
2007
IEEE
16 years 22 days ago
2007
IEEE
Abstract— Fast radio wave propagation prediction is of tremendous interest for planning and optimization of cellular radio networks. We propose a cube oriented 3D ray launching a...