7890 search results - page 409 / 1578 » The MathSAT 3 System |
212
click to vote
ISCA
2012
IEEE
13 years 9 months ago
2012
IEEE
To increase datacenter energy efficiency, we need memory systems that keep pace with processor efficiency gains. Currently, servers use DDR3 memory, which is designed for high b...
179
click to vote
DATE
2003
IEEE
16 years 2 days ago
2003
IEEE
ng precision of abstract SystemC models using the SystemC Verification Standard Franco Carbognani1 , Christopher K. Lennard2 , C. Norris Ip3 , Allan Cochrane2 , Paul Bates2 1 Caden...
185
Voted
PCM
2004
Springer
16 years 4 days ago
2004
Springer
Abstract. In this paper, we propose a Java-based collaborative authoring system for multimedia presentation. Our system is composed of an Editing System, a Media Object Manager and...
192
click to vote
ICPR
2002
IEEE
15 years 11 months ago
2002
IEEE
Visual information processing technology is very important in the implementation for sensory substitution of visually impaired persons as well as applications to factory automatio...
186
click to vote
ICCV
2003
IEEE
16 years 8 months ago
2003
IEEE
We present a new approach to 3D scene modeling based on geometric constraints. Contrary to the existing methods, we can quickly obtain 3D scene models that respect the given const...