Sciweavers

29152 search results - page 126 / 5831
» A Model of Computation for MapReduce
Sort
View
AMAST
2006
Springer
15 years 10 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
15 years 7 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
15 years 7 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
FGCS
2000
100views more  FGCS 2000»
15 years 6 months ago
Investigating the application of web-based simulation principles within the architecture for a next-generation computer generate
With a heavy emphasis on distribution and reuse, web-based simulation portends a dramatic shift in the application of simulation as a problem-solving technique and decision-suppor...
Ernest H. Page, Jeffrey M. Opper
IEAAIE
2011
Springer
14 years 10 months ago
A Computational Model of Habit Learning to Enable Ambient Support for Lifestyle Change
Agent-based applications have the potential to assist humans in their lifestyle change, for instance eliminating addictive behaviours or adopting new healthy behaviours. In order t...
Michel C. A. Klein, Nataliya M. Mogles, Jan Treur,...