275 search results - page 36 / 55 » Structural Information Analysis for CLP Languages |
91
Voted
RV
2010
Springer
14 years 8 months ago
2010
Springer
We describe a combination of runtime information and static analysis for checking properties of complex and configurable systems. The basic idea of our approach is to 1) let the p...
DASIP
2010
14 years 4 months ago
2010
This paper proposes an automatic design flow from userfriendly design to efficient implementation of video processing systems. This design flow starts with the use of coarsegrain ...
JMLR
2012
12 years 12 months ago
2012
We develop a new tool for data-dependent analysis of the exploration-exploitation trade-off in learning under limited feedback. Our tool is based on two main ingredients. The fi...
CIKM
2011
Springer
13 years 9 months ago
2011
Springer
Social media services have spread throughout the world in just a few years. They have become not only a new source of information, but also new mechanisms for societies world-wide...
CLEF
2007
Springer
15 years 3 months ago
2007
Springer
This paper accounts for Priberam's participation in the monolingual question answering (QA) track of CLEF 2007. In previous participations, Priberam’s QA system obtained en...