568 search results - page 59 / 114 » From Machine Translation to Computer Assisted Translation us... |
116
click to vote
CONCUR
2010
Springer
15 years 4 months ago
2010
Springer
Links are established between three widely used modeling frameworks for reactive systems: the ioco theory of Tretmans, the interface automata of De Alfaro and Henzinger, and Mealy ...
130
Voted
SETP
2007
15 years 4 months ago
2007
Requirement analysis continues to be one of the most critical and challenging phases during the software development process. Many object-oriented methodologies identify three pri...
132
click to vote
CDVE
2007
Springer
15 years 9 months ago
2007
Springer
In order to build complex, large-scale, dependable systems it is necessary to use a development environment with an integrated set of capabilities that supports editing and formal...
136
click to vote
ECCV
2006
Springer
15 years 6 months ago
2006
Springer
We propose a closed form solution for segmenting mixtures of 2-D translational and 2-D affine motion models directly from the image intensities. Our approach exploits the fact that...
127
Voted
OTM
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. We introduce XMLVM, a Turing complete XML-based programming language based on a stack-based, virtual machine. We show how XMLVM can automatically be created from Java cla...