7596 search results - page 374 / 1520 » Challenges in forensic computing |
176
click to vote
ICDCSW
2005
IEEE
15 years 12 months ago
2005
IEEE
The widespread popularity of roaming wireless devices with limited and heterogeneous capabilities is enabling new challenging deployment scenarios for multimedia streaming in wire...
170
click to vote
KBSE
2005
IEEE
15 years 12 months ago
2005
IEEE
We present a new model checking algorithm for verifying computation tree logic (CTL) properties. Our technique is based on using language inference to learn the fixpoints necessar...
232
click to vote
ICCS
2005
Springer
15 years 11 months ago
2005
Springer
A fast collision detection and resolution scheme is one of the key components for interactive simulation of deformable objects. It is particularly challenging to reduce the computa...
125
click to vote
ICCSA
2005
Springer
15 years 11 months ago
2005
Springer
In this paper we present a nonlinear programming solution to one of the most challenging problems in trajectory optimization. Unlike most aerospace trajectory optimization problems...
168
click to vote
LCPC
2005
Springer
15 years 11 months ago
2005
Springer
With the growing popularity of streaming data model, processing queries over streaming data has become an important topic. Streaming data has received attention in a number of comm...