1699 search results - page 190 / 340 » On the Expressive Power of QLTL |
166
click to vote
CCA
2009
Springer
16 years 1 months ago
2009
Springer
In this note we discuss the information needed to compute the homology groups of a topological space. We argue that the natural class of spaces to consider are the compact absolut...
152
click to vote
ER
2009
Springer
16 years 1 months ago
2009
Springer
In previous work, we proposed an algebra whose operators allow to specify the valid compound terms of a faceted taxonomy, in a flexible manner (by combining positive and negative ...
156
click to vote
ESWS
2009
Springer
16 years 1 months ago
2009
Springer
As social networks are becoming ubiquitous on the Web, the Semantic Web goals indicate that it is critical to have a standard model allowing exchange, interoperability, transformat...
200
click to vote
ICWE
2009
Springer
16 years 1 months ago
2009
Springer
Rich Internet Applications (RIAs) are highly interactive web applications that resemble desktop applications. Modeling RIAs hence requires techniques for web modeling enriched by m...
142
click to vote
INTETAIN
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Interactive multi-touch tables can be a powerful means of communication for collaborative work as well as an engaging environment for competition. Through enticing gamepl...