Sciweavers

29082 search results - page 135 / 5817
» The Time-Triggered Model of Computation
Sort
View
SEMWEB
2007
Springer
14 years 2 months ago
On the Foundations of Computing Deltas Between RDF Models
The ability to compute the differences that exist between two RDF models is an important step to cope with the evolving nature of the Semantic Web (SW). In particular, RDF Deltas c...
Dimitris Zeginis, Yannis Tzitzikas, Vassilis Chris...
GECCO
2004
Springer
132views Optimization» more  GECCO 2004»
14 years 1 months ago
Robust and Efficient Genetic Algorithms with Hierarchical Niching and a Sustainable Evolutionary Computation Model
This paper proposes a new niching method named hierarchical niching, which combines spatial niching in search space and a continuous temporal niching concept. The method is natural...
Jianjun Hu, Erik D. Goodman
AMAST
2006
Springer
13 years 12 months ago
A Computational Group Theoretic Symmetry Reduction Package for the Spin Model Checker
Abstract. Symmetry reduced model checking is hindered by two problems: how to identify state space symmetry when systems are not fully symmetric, and how to determine equivalence o...
Alastair F. Donaldson, Alice Miller
ESANN
2001
13 years 9 months ago
A computational model of monkey grating cells for oriented repetitive alternating patterns
In 1992 neurophysiologists [5] found an new type of cells in areas V1 and V2 of the monkey primary visual cortex, which they called grating cells. These cells respond vigorously to...
Tino Lourens, Kazuhiro Nakadai, Hiroshi G. Okuno, ...
ACL
1998
13 years 9 months ago
A Computational Model of Social Perlocutions
The view that communication is a form of action serving a variety of specific functions has had a tremendous impact on the philosophy of language and on computational linguistics....
David Pautler, Alex Quilici