Sciweavers

629 search results - page 52 / 126
» Parallelization Method for a Continuous Property
Sort
View
DCOSS
2011
Springer
12 years 7 months ago
Type-safe updating for modular WSN software
—Modular software, in which strongly-separated units of functionality can be independently added to and removed from a node’s running software, offers a promising approach to e...
Barry Porter, Utz Roedig, Geoff Coulson
TCS
2011
13 years 2 months ago
On the relationship between fuzzy and Boolean cellular automata
Fuzzy cellular automata (FCA) are continuous cellular automata where the local rule is defined as the “fuzzification" of the local rule of a corresponding Boolean cellula...
Heather Betel, Paola Flocchini
ARTS
1997
Springer
13 years 11 months ago
The Verus Language: Representing Time Efficiently with BDDs
There have been significant advances on formal methods to verify complex systems recently. Nevertheless, these methods have not yet been accepted as a realistic alternative to the ...
Sérgio Vale Aguiar Campos, Edmund M. Clarke
PPSN
2010
Springer
13 years 6 months ago
Indirect Encoding of Neural Networks for Scalable Go
Abstract. The game of Go has attracted much attention from the artificial intelligence community. A key feature of Go is that humans begin to learn on a small board, and then incr...
Jason Gauci, Kenneth O. Stanley
ICPR
2002
IEEE
14 years 8 months ago
Curvature Estimation of Surfaces in 3D Grey-Value Images
In this paper we present a novel method to estimate curvature of iso grey-level surfaces in grey-value images. Our method succeeds where isophote curvature fails. There is neither...
Bernd Rieger, Frederik J. Timmermans, Lucas J. van...