Sciweavers

2593 search results - page 168 / 519
» constraints 2007
Sort
View
IEEEPACT
2007
IEEE
16 years 25 days ago
Verification-Aware Microprocessor Design
The process of verifying a new microprocessor is a major problem for the computer industry. Currently, architects design processors to be fast, power-efficient, and reliable. Howe...
Anita Lungu, Daniel J. Sorin
PG
2007
IEEE
16 years 24 days ago
Computer-Generated Papercutting
The craft of papercutting is part of the folk art traditions of cultures all over the world. From the point of view of computer graphics, papercutting can be seen as a method of c...
Jie Xu, Craig S. Kaplan, Xiaofeng Mi
WACV
2007
IEEE
16 years 24 days ago
Homography-based Analysis of People and Vehicle Activities in Crowded Scenes
This paper presents an new framework for homographybased analysis of pedestrian-vehicle activity in crowded scenes. Planar homography constraint is exploited to extract view-invar...
Sangho Park, Mohan M. Trivedi
CMSB
2007
Springer
16 years 21 days ago
Context Sensitivity in Logical Modeling with Time Delays
For modeling and analyzing regulatory networks based on qualitative information and possibly additional temporal constraints, approaches using hybrid automata can be very helpful. ...
Heike Siebert, Alexander Bockmayr
SGP
2007
15 years 9 months ago
As-rigid-as-possible surface modeling
Modeling tasks, such as surface deformation and editing, can be analyzed by observing the local behavior of the surface. We argue that defining a modeling operation by asking for ...
Olga Sorkine, Marc Alexa