Sciweavers

5623 search results - page 843 / 1125
» Estimating in Actual Time
Sort
View
ISCA
2005
IEEE
134views Hardware» more  ISCA 2005»
16 years 13 days ago
A High Throughput String Matching Architecture for Intrusion Detection and Prevention
Network Intrusion Detection and Prevention Systems have emerged as one of the most effective ways of providing security to those connected to the network, and at the heart of alm...
Lin Tan, Timothy Sherwood
KBSE
2005
IEEE
16 years 13 days ago
Prufrock: a framework for constructing polytypic theorem provers
Current formal software engineering methodologies provide a vast array of languages for specifying correctness properties, as well as a wide assortment automated tools that aid in...
Justin Ward, Garrin Kimmell, Perry Alexander
VISUALIZATION
2005
IEEE
16 years 12 days ago
A Handheld Flexible Display System
A new close range virtual reality system is introduced that allows intuitive and immersive user interaction with computer generated objects. A projector with a special spherical l...
Jonathan Konieczny, Clement Shimizu, Gary W. Meyer...
VISUALIZATION
2005
IEEE
16 years 12 days ago
Rendering Tetrahedral Meshes with Higher-Order Attenuation Functions for Digital Radiograph Reconstruction
This paper presents a novel method for computing simulated x-ray images, or DRRs (digitally reconstructed radiographs), of tetrahedral meshes with higher-order attenuation functio...
Ofri Sadowsky, Jonathan D. Cohen, Russell H. Taylo...
VISUALIZATION
2005
IEEE
16 years 12 days ago
Evolutionary Morphing
We introduce a technique to visualize the gradual evolutionary change of the shapes of living things as a morph between known three-dimensional shapes. Given geometric computer mo...
David F. Wiley, Nina Amenta, Dan A. Alcantara, Deb...