545 search results - page 21 / 109 » Computer-Aided Method Engineering: An Analysis of Existing E... |
ICSE
1998
IEEE-ACM
14 years 11 days ago
1998
IEEE-ACM
The design, implementation, and testing of virtual environments is complicated by the concurrency and realtime features of these systems. Therefore, the development of formal meth...
AIRS
2010
Springer
13 years 6 months ago
2010
Springer
The dominant method for evaluating search engines is the Cranfield paradigm, but the existing metrics do not consider some modern search engines features, such as document snippets...
SIGCSE
2006
ACM
14 years 2 months ago
2006
ACM
This paper describes our experiences in promoting a learning environment where active student involvement and interaction, as well as openness to diversity of ideas are supported ...
SIAMIS
2011
13 years 3 months ago
2011
In this article we study a continuous Primal-Dual method proposed by Appleton and Talbot and generalize it to other problems in image processing. We interpret it as an Arrow-Hurwi...
CSSE
2008
IEEE
14 years 2 months ago
2008
IEEE
—At present, Web services are created and updated on the fly. It has already beyond the human ability to analysis them and generate the composition plan manually. It is a problem...