6794 search results - page 1127 / 1359 » Semantics of Visual Languages |
128
Voted
FM
2009
Springer
15 years 11 days ago
2009
Springer
Abstract. We propose an approach to automatic verification of realtime systems against scenario-based requirements. A real-time system is modeled as a network of Timed Automata (TA...
150
Voted
IGARSS
2009
15 years 9 days ago
2009
High resolution remote sensing (HR RS) images allow discriminating between different objects in a scene. Spatial reasoning techniques can be used to interpret and describe the sce...
146
Voted
CORR
2011
Springer
14 years 9 months ago
2011
Springer
In Artificial Intelligence with Coalition Structure Generation (CSG) one refers to those cooperative complex problems that require to find an optimal partition, maximising a soci...
93
Voted
COLING
2010
14 years 9 months ago
2010
Multi-word expressions constitute a significant portion of the lexicon of every natural language, and handling them correctly is mandatory for various NLP applications. Yet such e...
123
Voted
WWW
2007
ACM
16 years 3 months ago
2007
ACM
In this paper, we describe an application, PubCloud that uses tag clouds for the summarization of results from queries over the PubMed database of biomedical literature. PubCloud ...