553 search results - page 95 / 111 » Learning Meets Verification |
ER
1997
Springer
14 years 2 months ago
1997
Springer
Several decades of software engineering research confirm that effective reuse is the only realistic approach to meeting the ever-increasing demands on the software industry. Over ...
CHINZ
2007
ACM
14 years 1 months ago
2007
ACM
This paper describes how a mobile phone can be used as a six degree of freedom interaction device for 3D mesh editing. Using a video see-through Augmented Reality approach, the mo...
ESEM
2007
ACM
14 years 1 months ago
2007
ACM
Agile development methodologies have been gaining acceptance in the mainstream software development community. While there are numerous studies of Agile development in academic an...
CIKM
2004
Springer
14 years 1 months ago
2004
Springer
In this paper we study the problem of collecting training samples for building enterprise taxonomies. We develop a computer-aided tool named InfoAnalyzer, which can effectively as...
EMSOFT
2006
Springer
14 years 1 months ago
2006
Springer
Engine Control Systems (ECS) for automobiles have numerous variants for many manufactures and different markets. To improve development efficiency, exploiting ECS commonalities an...