43264 search results - page 98 / 8653 » Comparing models of computation |
WWW
2007
ACM
14 years 9 months ago
2007
ACM
PageRank is the best known technique for link-based importance ranking. The computed importance scores, however, are not directly comparable across different snapshots of an evolv...
EUROGP
1998
Springer
14 years 1 months ago
1998
Springer
Koza has shown how automatically defined functions (ADFs) can reduce computational effort in the GP paradigm. In Koza's ADF, as well as in standard GP, an improvement in a par...
CHI
2009
ACM
14 years 4 days ago
2009
ACM
Understanding the difference between emotions based on acoustic features is important for computer recognition and classification of emotions. We conducted a study of human percep...
GI
2010
Springer
13 years 7 months ago
2010
Springer
: A recurring manual task in data integration or ontology alignment is finding mappings between complex schemas. In order to reduce the manual effort, many matching algorithms for ...
ASM
2008
ASM
13 years 10 months ago
2008
ASM
Abstract. In this paper we examine the difference between model checking high-level and low-level models. In particular, we compare the ProB model checker for the B-method and the ...