Sciweavers

511 search results - page 17 / 103
» The Economics of International Conferences
Sort
View
CAV
2010
Springer
214views Hardware» more  CAV 2010»
15 years 1 months ago
Learning Component Interfaces with May and Must Abstractions
elor Thesis: Demand Driven Abstraction Refinement • Advisor: Dr. Andrey Rybalchenko Kendriya Vidyalaya ONGC, Dehradun, Uttaranchal INDIA All India Senior Secondary Examination, ...
Rishabh Singh, Dimitra Giannakopoulou, Corina S. P...
EUROGP
2009
Springer
105views Optimization» more  EUROGP 2009»
15 years 2 months ago
Quantum Circuit Synthesis with Adaptive Parameters Control
The contribution presented herein proposes an adaptive genetic algorithm applied to quantum logic circuit synthesis that, dynamically adjusts its control parameters. The adaptation...
Cristian Ruican, Mihai Udrescu, Lucian Prodan, Mir...
ICIP
1997
IEEE
15 years 1 months ago
Model-Based Synthetic View Generation from a Monocular Video Sequence
International Conference on Image Processing (ICIP 97), vol. 1, pp. 444-447, Santa Barbara, October 1997. In this paper a model-based multi-view image generation system for video ...
Chun-Jen Tsai, Aggelos K. Katsaggelos, Peter Eiser...
76
Voted
OOPSLA
1993
Springer
15 years 1 months ago
How to Get a Paper Accepted at OOPSLA (Panel)
iam Pugh. Advice to authors of extended abstracts. http://www.acm.org/sigplan/conferences/author-info/pughadvice.html. [7] Mary Shaw. Writing good software engineering research pap...
Ralph E. Johnson, Kent Beck, Grady Booch, William ...
MRC
2003
134views Robotics» more  MRC 2003»
14 years 11 months ago
ButlerBot: The Robotic Butler
ButlerBot is a robotic butler created to cater to people’s questions at the International Joint Conference on Artificial Intelligence (IJCAI) 2003 conference and to escort peopl...
Diana David, Zion Adika, Liu Yang, Vitaly Bokser, ...