Sciweavers

669 search results - page 71 / 134
» How to Have a Successful Free Software Project
Sort
View
CHI
2008
ACM
16 years 2 months ago
Ingimp: introducing instrumentation to an end-user open source application
Open source projects are gradually incorporating usability methods into their development practices, but there are still many unmet needs. One particular need for nearly any open ...
Michael Terry, Matthew Kay, Brad Van Vugt, Brandon...
CVPR
2007
IEEE
16 years 3 months ago
Robust Metric Reconstruction from Challenging Video Sequences
Although camera self-calibration and metric reconstruction have been extensively studied during the past decades, automatic metric reconstruction from long video sequences with va...
Guofeng Zhang, Xueying Qin, Wei Hua, Tien-Tsin Won...
KBSE
2002
IEEE
15 years 6 months ago
Report on the Workshop on the State of the Art in Automated Software Engineering
ort gives their abstracts. s of the position papers Recent Experiences with Code Generation and Task Automation Agents in Software Tools (J. Grundy, J. Hosking) As software grows i...
Yves Ledru, David F. Redmiles
CAV
2008
Springer
139views Hardware» more  CAV 2008»
15 years 3 months ago
CSIsat: Interpolation for LA+EUF
We present CSIsat, an interpolating decision procedure for the quantifier-free theory of rational linear arithmetic and equality with uninterpreted function symbols. Our implementa...
Dirk Beyer, Damien Zufferey, Rupak Majumdar
SIGCSE
2012
ACM
282views Education» more  SIGCSE 2012»
13 years 9 months ago
Understanding the tenets of agile software engineering: lecturing, exploration and critical thinking
The use of agile principles and practices in software development is becoming a powerful force in today’s workplace. In our quest to develop better products, therefore, it is im...
Shvetha Soundararajan, Amine Chigani, James D. Art...