11462 search results - page 55 / 2293 » Developing Application-Centric Methods |
109
click to vote
COLING
2010
14 years 6 months ago
2010
This paper addresses the problem of dynamic model parameter selection for loglinear model based statistical machine translation (SMT) systems. In this work, we propose a principle...
108
click to vote
COMPSAC
1997
IEEE
15 years 4 months ago
1997
IEEE
Despite recent developments in formal methods, formal methods have yet to enter the mainstream of software industry. In this paper, we first examine the pragmatic obstacles of ma...
MVA
2000
15 years 1 months ago
2000
The present paper proposes a new concept of image processing method based on vector representation for visual inspection test. The method was applied to detect defects and extract...
134
click to vote
OOPSLA
1991
Springer
15 years 3 months ago
1991
Springer
PICASSOis a graphical user interface development environment built using the Common Lisp Object System (CLOS). This paper describes how CLOS features including multiple inheritanc...
DATE
2003
IEEE
15 years 5 months ago
2003
IEEE
Automotive systems engineering has made significant progress in using formal methods to design safe hardware-software systems. The architectures and design methods could become a ...