341 search results - page 14 / 69 » The way forward |
74
Voted
DCC
2010
IEEE
14 years 8 months ago
2010
IEEE
This paper introduces a new method called Bidirectional Delta file, which is to construct a two way delta file out of two given files. Previous work focuses on forwards and back...
ICSE
2009
IEEE-ACM
14 years 7 months ago
2009
IEEE-ACM
This paper presents experiments realized by Airbus on model checking a safety critical system, lessons learnt and ways forward to extend the industrial use of formal verification ...
CIT
2010
Springer
14 years 4 months ago
2010
Springer
This paper discusses how meaningful the expression `research quality' is in Universities. Measuring the quality of a research publication, it is argued, cannot be done. The is...
COLING
2008
14 years 11 months ago
2008
Existing algorithms for the Generation of Referring Expressions tend to generate distinguishing descriptions at the semantic level, disregarding the ways in which surface issues c...
IEEECIT
2010
IEEE
14 years 8 months ago
2010
IEEE
—The great appliance of engineering makes it different from other common subjects in teaching methods. This paper puts forward a concept of case learning that is constructed with...