5268 search results - page 305 / 1054 » Analysis of Design Process Dynamics |
132
click to vote
TELSYS
2002
15 years 4 months ago
2002
Formal description techniques, verification methods, and their tool-based automated application meanwhile provide valuable support for the formal analysis of communication protocol...
135
click to vote
IV
2007
IEEE
15 years 11 months ago
2007
IEEE
Research to date has demonstrated the apparent differences how architects, as ‘experts’ and members of the public as ‘non-experts’ perceive and understand visual represent...
144
click to vote
CVPR
2001
IEEE
16 years 6 months ago
2001
IEEE
Image inpainting involves filling in part of an image or video using information from the surrounding area. Applications include the restoration of damaged photographs and movies ...
136
click to vote
LCPC
2005
Springer
15 years 10 months ago
2005
Springer
Tera-scale high-performance computing has enabled scientists to tackle very large and computationally challenging scientific problems, making the advancement of scientific discov...
158
click to vote
APPT
2007
Springer
15 years 6 months ago
2007
Springer
Dynamic programming is a widely applied algorithm design technique in many areas such as computational biology and scientific computing. Typical applications using this technique a...