Sciweavers

1792 search results - page 166 / 359
» Requirements Capture with RCAT
Sort
View
ICDS
2010
IEEE
15 years 12 months ago
Modeling and Analysis of Laws Using BPR and Goal-Oriented Framework
Abstract—Recently, two complementary approaches are proposed to represent, model and analyze laws: the Nomos and VLPM approaches. Nomos is a goal-oriented approach to effectively...
Adolfo Villafiorita, Komminist Weldemariam, Angelo...
CGO
2003
IEEE
15 years 11 months ago
Dynamic Trace Selection Using Performance Monitoring Hardware Sampling
Optimizing programs at run-time provides opportunities to apply aggressive optimizations to programs based on information that was not available at compile time. At run time, prog...
Howard Chen, Wei-Chung Hsu, Dong-yuan Chen
CVPR
2003
IEEE
15 years 11 months ago
ROD-TV: Reconstruction on Demand by Tensor Voting
A “graphics for vision” approach is proposed to address the problem of reconstruction from a large and imperfect data set: reconstruction on demand by tensor voting, or ROD-TV...
Wai-Shun Tong, Chi-Keung Tang
DATE
2003
IEEE
128views Hardware» more  DATE 2003»
15 years 11 months ago
Flexible and Formal Modeling of Microprocessors with Application to Retargetable Simulation
Given the growth in application-specific processors, there is a strong need for a retargetable modeling framework that is capable of accurately capturing complex processor behavi...
Wei Qin, Sharad Malik
ICRA
2003
IEEE
105views Robotics» more  ICRA 2003»
15 years 11 months ago
Foveated observation of shape and motion
– Robotic navigation and interaction frequently require that the shape and motion of external objects and events be observed. Many interesting events occur at mixed scales. Subtl...
James Davis, Xing Chen