Sciweavers

9509 search results - page 1540 / 1902
» Complex Event Processing
Sort
View
ISQED
2005
IEEE
84views Hardware» more  ISQED 2005»
16 years 12 days ago
Performance Driven OPC for Mask Cost Reduction
With continued aggressive process scaling in the subwavelength lithographic regime, resolution enhancement techniques (RETs) such as optical proximity correction (OPC) are an inte...
Puneet Gupta, Andrew B. Kahng, Dennis Sylvester, J...
MMM
2005
Springer
185views Multimedia» more  MMM 2005»
16 years 12 days ago
Database Support for Haptic Exploration in Very Large Virtual Environments
The efficient management of complex objects has become an enabling technology for modern multimedia information systems as well as for many novel database applications. Unfortunat...
Hans-Peter Kriegel, Peter Kunath, Martin Pfeifle, ...
187
Voted
VISUALIZATION
2005
IEEE
16 years 12 days ago
Framework for Visualizing Higher-Order Basis Functions
Techniques in numerical simulation such as the finite element method depend on basis functions for approximating the geometry and variation of the solution over discrete regions ...
William J. Schroeder, François Bertel, Math...
WACV
2005
IEEE
16 years 12 days ago
Learning to Track Objects Through Unobserved Regions
As tracking systems become more effective at reliably tracking multiple objects over extended periods of time within single camera views and across overlapping camera views, incre...
Chris Stauffer
HASKELL
2005
ACM
16 years 12 days ago
Verifying haskell programs using constructive type theory
Proof assistants based on dependent type theory are closely related to functional programming languages, and so it is tempting to use them to prove the correctness of functional p...
Andreas Abel, Marcin Benke, Ana Bove, John Hughes,...
« Prev « First page 1540 / 1902 Last » Next »