Sciweavers

112 search results - page 20 / 23
» Multimodal interactive machine translation
Sort
View
DSRT
2005
IEEE
15 years 3 months ago
Modeling Decentralized Real-Time Control by State Space Partition of Timed Automata
Timed automata provide useful state machine based representations for the validation and verification of realtime control systems. This paper introduces an algorithmic methodolog...
Thanikesavan Sivanthi, Srivas Chennu, Lothar Kreft
72
Voted
COMPSAC
1998
IEEE
15 years 1 months ago
Tools for the Knowledge Analyst: An Information Superiority Visionary Demonstration
This paper describes the application of a suite of innovative information processing and analytic support tools developed at The MITRE Corporation, in some cases as extensions of ...
Mark T. Maybury
COLING
2008
14 years 11 months ago
Normalizing SMS: are Two Metaphors Better than One ?
Electronic written texts used in computermediated interactions (e-mails, blogs, chats, etc) present major deviations from the norm of the language. This paper presents an comparat...
Catherine Kobus, François Yvon, Géra...
DAGSTUHL
2004
14 years 11 months ago
Audition of Web Services for Testing Conformance to Open Specified Protocols
Abstract. A Web Service (WS) is a type of component specifically conceived for distributed machine-to-machine interaction. Interoperability between WSs involves both data and messa...
Antonia Bertolino, Lars Frantzen, Andrea Polini, J...
ICFP
2005
ACM
15 years 9 months ago
Continuations from generalized stack inspection
Implementing first-class continuations can pose a challenge if the target machine makes no provisions for accessing and re-installing the run-time stack. In this paper, we present...
Greg Pettyjohn, John Clements, Joe Marshall, Shrir...