6 projets européens trouvés
Recherche sur 125080 projets européens
TERMINÉ
Generalizing Truth-Functionality (GETFUN)
Date du début: 1 janv. 2013, Date de fin: 31 déc. 2016,
The Fregean-inspired Principle of Compositionality of Meaning (PoC), for formal languages, may be construed as asserting that the meaning of a compound expression is deterministically (and often recursively) analysable in terms of the meaning of its constituents, taking into account the mode in which these constituents are combined so as to form the compound expression. From a logical point of vi ...
Voir le projet
12
Participants partenaires
TERMINÉ
ReVINK (REVINK)
Date du début: 1 sept. 2014, Date de fin: 31 août 2016,
Verification is an important technique to ensure quality of a system and detect scenarios in which requirements can be violated. For complex systems with multiple interacting components, one of the crucial requirements is a component's ability to achieve a given goal. However, verification of strategic abilities is computationally hard, and the existing model checking algorithms cope with it only ...
Voir le projet
1
Participant partenaire
TERMINÉ
Large-scale, Cross-lingual Trend Mining and Summarisation of Real-time Media Streams (TrendMiner)
Date du début: 1 nov. 2011, Date de fin: 31 oct. 2014,
The recent massive growth in online media and the rise of user-authored content (e.g weblogs, Twitter, Facebook) has lead to challenges of how to access and interpret these strongly multilingual data, in a timely, efficient, and affordable manner. Scientifically, streaming online media pose new challenges, due to their shorter, noisier, and more colloquial nature. Moreover, they form a temporal st ...
Voir le projet
13
Participants partenaires
TERMINÉ
Applied Technology for Language-Aided CMS (ATLAS)
Date du début: 1 mars 2010, Date de fin: 28 févr. 2013,
The advent of the Web revolutionized the way in which content is manipulated and delivered. As a result, digital content in various languages has become widely available on the Internet and its sheer volume and language diversity have presented an opportunity for embracing new methods and tools for content creation and distribution. Although significant improvements have been made lately in the fi ...
Voir le projet
9
Participants partenaires
TERMINÉ
CEntral and South-east europeAn Resources (CESAR)
Date du début: 1 févr. 2011, Date de fin: 31 janv. 2013,
Description
Human language technologies crucially depend on language resources and tools that are usable, useful and available. However, even where language resources and respective tools are available they have been developed mostly in a sporadic manner, in response to specific project needs, with relatively little regard to their long-term ...
Voir le projet
9
Participants partenaires
TERMINÉ
Common Language Resources and Technology Infrastructure (CLARIN)
Date du début: 1 janv. 2008, Date de fin: 30 juin 2011,
The ultimate goal of CLARIN is the construction and operation of a shared distributed infrastructure that aims at making language resources and technology available to the humanities and social sciences research communities at large. The preparatory phase will pave the way for implementation along 4 dimensions: Funding and governance: The aim is to bring together the funding agencies and to work o ...
Voir le projet