7109 search results - page 331 / 1422 » Process Algebra with Combinators |
149
Voted
JCST
2008
15 years 5 months ago
2008
A cellular model based on the Incrementally Modular Abstraction Hierarchy (IMAH) is a novel model that can represent the architecture of and changes in cyberworlds, preserving inva...
149
click to vote
GEOINFORMATICA
2002
15 years 4 months ago
2002
This paper deals with the representation and the processing of information about spatial objects with indeterminate location like valleys or dunes (objects subject to vagueness). ...
153
click to vote
ICIP
2009
IEEE
15 years 2 months ago
2009
IEEE
Kernel-based methods, e.g., support vector machine (SVM), produce high classification performances. However, the computation becomes time-consuming as the number of the vectors su...
154
click to vote
STTT
2011
14 years 12 months ago
2011
We present algorithms for parallel probabilistic model checking on general purpose graphic processing units (GPGPUs). Our improvements target the numerical components of the tradit...
166
click to vote
RSCTC
1998
Springer
15 years 9 months ago
1998
Springer
Abstract. Institutional databases can be instrumental in understanding a business process, but additional data may broaden the empirical perspective on the investigated process. We...