1054 search results - page 48 / 211 » Translation Validation of System Abstractions |
211
click to vote
ICCPOL
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. This paper describes a methodology for constructing aligned German-Chinese corpora from movie subtitles. The corpora will be used to train a special machine translation s...
151
click to vote
ICON
2007
IEEE
16 years 9 days ago
2007
IEEE
—Inter-domain routing is suffering from the lack of identifiers for the rapidly growing number of Autonomous Systems (AS), and therefore the 4-byte AS number has been proposed a...
160
click to vote
VR
2002
IEEE
15 years 11 months ago
2002
IEEE
In this paper, we intend to demonstrate a new intuitive force-feedback device for advanced VR applications. Force feedback for the device is tension based and is characterized by ...
138
click to vote
MONTEREY
2007
Springer
16 years 4 days ago
2007
Springer
In this paper, we describe an approach to formally assess whether an organization conforms to a body of regulation. Conformance is cast as a model checking question where the regul...
173
click to vote
ECOOP
2004
Springer
15 years 11 months ago
2004
Springer
Software developers create a variety of artifacts that model viour of applications at different levels of abstraction; e.g. use cases, sequence diagrams, and source code. Aspect-o...