2441 search results - page 38 / 489 » Engineering a Tool to Detect Automatically Generated Papers |
101
click to vote
KBSE
2005
IEEE
15 years 4 months ago
2005
IEEE
In test generation based on model-checking, white-box test criteria are represented as trap conditions written in a temporal logic. A model checker is used to refute trap conditio...
100
click to vote
PDSE
1998
15 years 15 hour ago
1998
The development of correct OO distributed software is a daunting task as soon as the distributed interactions are not trivial. This is due to the inherent complexity of distribute...
OOPSLA
2007
Springer
15 years 4 months ago
2007
Springer
Design defects come from poor design choices and have the effect of degrading the quality of object-oriented designs. Therefore, they present opportunities for improvements. Howev...
106
click to vote
ICIP
1999
IEEE
16 years 7 days ago
1999
IEEE
In this paper we describe an interactive video object segmentation tool developed in the framework of the ACTSAC098 MOMUSYS project. The Video Object Generator with User Environme...
ECIR
2008
Springer
15 years 3 days ago
2008
Springer
Abstract. This paper presents first steps towards building a music information system like last.fm, but with the major difference that the data is automatically retrieved from the ...