6 European Projects Found
Searched on 125080 European Projects
FINISHED
Generalizing Truth-Functionality (GETFUN)
Start date: Jan 1, 2013, End date: Dec 31, 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 ...
Read Project
12
Partners Participants
FINISHED
ReVINK (REVINK)
Start date: Sep 1, 2014, End date: Aug 31, 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 ...
Read Project
1
Partner Participant
FINISHED
Large-scale, Cross-lingual Trend Mining and Summarisation of Real-time Media Streams (TrendMiner)
Start date: Nov 1, 2011, End date: Oct 31, 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 ...
Read Project
13
Partners Participants
FINISHED
Applied Technology for Language-Aided CMS (ATLAS)
Start date: Mar 1, 2010, End date: Feb 28, 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 ...
Read Project
9
Partners Participants
FINISHED
CEntral and South-east europeAn Resources (CESAR)
Start date: Feb 1, 2011, End date: Jan 31, 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 ...
Read Project
9
Partners Participants
FINISHED
Common Language Resources and Technology Infrastructure (CLARIN)
Start date: Jan 1, 2008, End date: Jun 30, 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 ...
Read Project
