756 search results - page 13 / 152 » Recent progress with BOXES |
101
Voted
ICMCS
2006
IEEE
15 years 8 months ago
2006
IEEE
The high definition video adoption has been growing rapidly for the last two years. The two high definition DVD formats HD-DVD and Blueray have mandated MPEG-2, H.264 and VC-1 as ...
87
Voted
ICRA
1993
IEEE
15 years 6 months ago
1993
IEEE
We report on our recently achieved spatial two-juggle: the ability to bat two freely falling balls into stable periodic vertical trajectories with a single three degree of freedom...
221
Voted
AUSFORENSICS
2004
15 years 4 months ago
2004
The Snort intrusion detection system is a widely used and well-regarded open sourcesystem used for the detection of malicious activity in conventional wired networks. Recently, so...
108
Voted
CG
2002
Springer
15 years 2 months ago
2002
Springer
Recently, we proposed a new isosurface extraction algorithm that extracts portions of the isosurface in a viewdependent manner by ray casting and propagation. The algorithm casts ...
115
click to vote
CADE
2009
Springer
16 years 3 months ago
2009
Springer
The Thousands of Problems for Theorem Provers (TPTP) problem library is the basis of a well established infrastructure supporting research, development, and deployment of first-ord...