2450 search results - page 391 / 490 » On Application of Structural Decomposition for Process Model... |
134
click to vote
TAMODIA
2008
15 years 5 months ago
2008
Abstract. The analysis of usability aspects of multi-user systems, such as cooperative work systems and pervasive systems, pose particular problems because group behavior of their ...
154
click to vote
KI
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. The accurate extraction of scholarly reference information from scientific publications is essential for many useful applications like BIBTEX management systems or citati...
144
Voted
CJ
2010
15 years 1 months ago
2010
an be used to abstract away from the physical reality by describing it as components that exist in discrete states with probabilistically invoked actions that change the state. The...
123
click to vote
CCS
2009
ACM
15 years 11 months ago
2009
ACM
We describe CoSP, a general framework for conducting computational soundness proofs of symbolic models and for embedding these proofs into formal calculi. CoSP considers arbitrary...
274
Voted
DAWAK
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. In this paper, we present a new approach to indexing multidimensional data that is particularly suitable for the efficient incremental processing of nearest neighbor quer...