2673 search results - page 309 / 535 » Guided Static Analysis |
139
Voted
CORR
2010
Springer
15 years 6 months ago
2010
Springer
This paper examines the relationship between gestures' function and form in design collaboration. It adopts a cognitive design research viewpoint. The analysis is restricted t...
171
click to vote
CVPR
2005
IEEE
16 years 8 months ago
2005
IEEE
We consider a visual scene analysis scenario where objects (e.g. people, cars) pass through the viewing field of a static camera and need to be detected and segmented from the bac...
146
click to vote
ICCAD
2007
IEEE
16 years 3 months ago
2007
IEEE
— In ultra-deep sub-micron technologies, modeling waveform shapes correctly is essential for accurate timing and noise analysis. Due to process and environmental variations, ther...
140
Voted
CAISE
2009
Springer
16 years 19 days ago
2009
Springer
MDD and MDA approaches require capturing the behavior of UML models in sufficient detail so that the models can be automatically implemented/executed in the production environment....
149
click to vote
WIA
2007
Springer
16 years 5 days ago
2007
Springer
It has been known since 1962 that the ambiguity problem for context-free grammars is undecidable. Ambiguity in context-free grammars is a recurring problem in language design and p...