1141 search results - page 173 / 229 » Analyzing Electroencephalograms Using Cloud Computing Techni... |
144
click to vote
TMM
2010
14 years 11 months ago
2010
Recent advances in 3D graphics technologies have led to an increasing use of processing techniques on 3D meshes, such as filtering, compression, watermarking, simplification, defor...
213
click to vote
RTA
2011
Springer
14 years 7 months ago
2011
Springer
In [5, 15] we presented an approach to prove termination of non-recursive Java Bytecode (JBC) programs automatically. Here, JBC programs are first transformed to finite terminat...
182
click to vote
ICCV
2011
IEEE
14 years 4 months ago
2011
IEEE
This paper addresses the challenge of recognizing behavior of groups of individuals in unconstraint surveillance environments. As opposed to approaches that rely on agglomerative ...
179
click to vote
ICDCS
2011
IEEE
14 years 4 months ago
2011
IEEE
Abstract—Jamming attacks and unintentional radio interference are one of the most urgent threats harming the dependability of wireless communication and endangering the successfu...
167
click to vote
RTA
2005
Springer
15 years 9 months ago
2005
Springer
Cryptographic protocols are small programs which involve a high level of concurrency and which are difficult to analyze by hand. The most successful methods to verify such protocol...