3294 search results - page 240 / 659 » Taxonomy of Process Modeling Languages |
161
click to vote
ACL
2006
15 years 8 months ago
2006
The noisy channel model approach is successfully applied to various natural language processing tasks. Currently the main research focus of this approach is adaptation methods, ho...
175
click to vote
EACL
2009
ACL Anthology
15 years 4 months ago
2009
ACL Anthology
In this paper, we address the problem of mining transliterations of Named Entities (NEs) from large comparable corpora. We leverage the empirical fact that multilingual news artic...
153
click to vote
IAT
2006
IEEE
16 years 18 days ago
2006
IEEE
Within many domains, among which biological and cognitive areas, multiple interacting processes occur among agents with dynamics that are hard to handle. Current approaches to ana...
193
click to vote
PPDP
2005
Springer
16 years 1 days ago
2005
Springer
We present ReactiveML, a programming language dedicated to the implementation of complex reactive systems as found in graphical user interfaces, video games or simulation problems...
199
click to vote
ICFP
2010
ACM
15 years 7 months ago
2010
ACM
Modern proof assistants such as Coq and Isabelle provide high degrees of expressiveness and assurance because they support formal reasoning in higher-order logic and supply explic...