11182 search results - page 1840 / 2237 » Shape Analysis of Sets |
203
click to vote
IEEESCC
2010
IEEE
15 years 11 months ago
2010
IEEE
Abstract—Service modeling and composition is a fundamental method for offering advanced functionality by combining a set of primitive services provided by the system. Unlike in t...
201
click to vote
KDD
2010
ACM
15 years 11 months ago
2010
ACM
Compressing social networks can substantially facilitate mining and advanced analysis of large social networks. Preferably, social networks should be compressed in a way that they...
232
click to vote
ERLANG
2007
ACM
15 years 11 months ago
2007
ACM
This paper presents an Erlang-based framework, developed by the authors, for the realisation of software systems for autonomous mobile robots. On the basis of the analysis of the ...
236
click to vote
SIGIR
2010
ACM
15 years 11 months ago
2010
ACM
In this paper, we present a novel image search system, image search by concept map. This system enables users to indicate not only what semantic concepts are expected to appear bu...
229
click to vote
FORMATS
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. We describe a partial order reduction technique for a realtime component model. Components are described as timed automata with data ports, which can be composed in stati...