151 search results - page 22 / 31 » Methodology to Evaluate the Functionality of Specification L... |
TROB
2002
14 years 11 months ago
2002
Reconfigurable software is highly desired for automated machine tool control systems for low-cost products and short time to market. In this paper, we propose a software architectu...
POPL
2010
ACM
15 years 9 months ago
2010
ACM
In functional programming, monadic characterizations of computational effects are normally understood denotationally: they describe how an effectful program can be systematically ...
80
Voted
KBSE
2007
IEEE
15 years 6 months ago
2007
IEEE
Software systems have become more complex, with myriad features and multiple functionalities. A major challenge in developing and maintaining such complex software is to identify ...
ACL
2006
15 years 1 months ago
2006
This paper presents a novel training algorithm for a linearly-scored block sequence translation model. The key component is a new procedure to directly optimize the global scoring...
CORR
2007
Springer
14 years 11 months ago
2007
Springer
The main aim of the work presented here is to contribute to computer science advances in the multimodal usability area, in-as-much as it addresses one of the major issues relating...