1722 search results - page 238 / 345 » Generating Tests from Counterexamples |
CNSR
2006
IEEE
14 years 3 months ago
2006
IEEE
The deployment of Reconfigurable Optical Add/Drop Multiplexers (ROADMs) is going to change the conventional architecture for metro networks. In this paper, we present detailed fea...
FGR
2006
IEEE
14 years 3 months ago
2006
IEEE
In this paper, a layered deformable model (LDM) is proposed for human body pose recovery in gait analysis. This model is inspired by the manually labeled silhouettes in [6] and it...
IJCNN
2006
IEEE
14 years 3 months ago
2006
IEEE
— Adaptive filtering is normally utilized to estimate system states or outputs from continuous valued observations, and it is of limited use when the observations are discrete e...
DIGRA
2005
Springer
14 years 2 months ago
2005
Springer
Interactive story writing is a new medium for creative expression. The story “writer” uses a computer game (such as BioWare’s Neverwinter Nights) to create an interactive st...
IH
2005
Springer
14 years 2 months ago
2005
Springer
It is commonly believed that steganography within TCP/IP is easily achieved by embedding data in header fields seemingly filled with “random” data, such as the IP identifier...