4507 search results - page 475 / 902 » Generalized Binet dynamics |
230
Voted
ICCPOL
2009
Springer
15 years 11 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...
176
Voted
ICIDS
2009
Springer
15 years 11 months ago
2009
Springer
Authoring is still considered a bottleneck in successful Interactive Storytelling and Drama. The claim for intuitive authoring tools is high, especially for tools that allow storyt...
196
Voted
ICMI
2009
Springer
15 years 11 months ago
2009
Springer
Multimodal interfaces combining natural modalities such as speech and touch with dynamic graphical user interfaces can make it easier and more effective for users to interact wit...
157
click to vote
IPOM
2009
Springer
15 years 11 months ago
2009
Springer
In this paper we propose a new solution to increase the security of BGP/MPLS IP VPNs established across multiple domains. In general, layer 3 VPNs already present a number of secur...
179
Voted
CC
2001
Springer
15 years 11 months ago
2001
Springer
We study the application of a standard model checker tool, Spin, to the well-known problem of computing a may-alias relation for a C program. A precise may-alias relation can signi...