4507 search results - page 475 / 902 » Generalized Binet dynamics |
260
Voted
ICCPOL
2009
Springer
16 years 8 days 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...
195
click to vote
ICIDS
2009
Springer
16 years 8 days 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...
213
Voted
ICMI
2009
Springer
16 years 8 days 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...
172
Voted
IPOM
2009
Springer
16 years 7 days 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...
199
click to vote
CC
2001
Springer
16 years 5 days 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...