2308 search results - page 451 / 462 » Categorial Semantics For LFG |
114
click to vote
ICFP
2010
ACM
14 years 9 months ago
2010
ACM
We describe the design, implementation, and use of a machinecertified framework for correct compilation and execution of programs in garbage-collected languages. Our framework ext...
ISSTA
2010
ACM
14 years 9 months ago
2010
ACM
Applications that process complex inputs often react in different ways to changes in different regions of the input. Small changes to forgiving regions induce correspondingly smal...
116
Voted
MM
2010
ACM
14 years 9 months ago
2010
ACM
In this technical demonstration we show an integrated web system for video search and annotation based on ontologies. The system is composed by three components: the Orione1 ontol...
104
click to vote
MM
2010
ACM
14 years 9 months ago
2010
ACM
We present an interactive application that enables users to improve the visual aesthetics of their digital photographs using spatial recomposition. Unlike earlier work that focuse...
MM
2010
ACM
14 years 9 months ago
2010
ACM
The vast user-provided image tags on the popular photo sharing websites may greatly facilitate image retrieval and management. However, these tags are often imprecise and/or incom...