 |
|
|
 | | | | Hardware and Software, Verification and Testing: Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006This book constitutes the thoroughly refereed post-proceedings of the Second International Haifa Verification Conference, HVC 2006, held in Haifa, Israel, in October 2006.
The 15 revised full papers presented together with 2 invited lectures were carefully reviewed and selected from 33 submissions. The papers are organized in three topical... |
|
Semantic Web Services: Concepts, Technologies, and ApplicationsIn just a few years, service-oriented architectures (SOA) and Web services not only gained considerable interest in computer science research, they were also taken up with unanimity by all major international players in the IT industry. However, and in spite of all existing standards, in most SOA applications much human intervention is still... | | Graph Drawing: 14th International Symposium, GD 2006, Karlsruhe, Germany, September 18-20, 2006, Revised Papers
The 14th International Symposium on Graph Drawing (GD 2006) was held in
Karlsruhe, Germany, during September 17-20, 2006. The conference attracted
108 participants from 18 countries.
In response to the call for papers, the Program Committee received 91 submissions
by (co)-authors from 31 countries. At least three... | | |
|
Dynamical Vision: ICCV 2005 and ECCV 2006 Workshops, WDV 2005 and WDV 2006, Beijing, China, October 21, 2005, Graz, Austria, May 13, 2006Classical multiple-view geometry studies the reconstruction of a static scene observed by a rigidly moving camera. However, in many real-world applications the scene may undergo much more complex dynamical changes. For instance, the scene may consist of multiple moving objects (e.g., a traffic scene) or articulated motions (e.g., a walking human)... | | | | |
|
| Result Page: Previous 3220 3221 3222 3223 3224 3225 3226 3227 3228 3229 3230 3231 3232 3233 3234 3235 3236 3237 3238 3239 3240 Next |
