Sciweavers

12459 search results - page 388 / 2492
» cans 2006
Sort
View
ENTCS
2006
89views more  ENTCS 2006»
15 years 7 months ago
A Type-theoretic Reconstruction of the Visitor Pattern
In object-oriented languages, the Visitor pattern can be used to traverse tree-like data structures: a visitor object contains some operations, and the data structure objects allo...
Peter Buchlovsky, Hayo Thielecke
ENTCS
2006
125views more  ENTCS 2006»
15 years 7 months ago
Hoare vs Milner: Comparing Synchronizations in a Graphical Framework With Mobility
We compare the expressive power of Hoare (i.e., CSP style) and Milner (i.e., CCS style) synchronizations for defining graph transformations in a framework where edges can perform ...
Ivan Lanese, Ugo Montanari
ENVSOFT
2006
87views more  ENVSOFT 2006»
15 years 7 months ago
What every agent-based modeller should know about floating point arithmetic
Floating point arithmetic is a subject all too often ignored, yet, for agent-based models in particular, it has the potential to create misleading results, and even to influence e...
J. Gareth Polhill, Luis R. Izquierdo, Nicholas Mar...
KES
2006
Springer
15 years 7 months ago
Construction of School Temperature Measurement System with Sensor Network
Abstract. We propose the sensor network system using the microcomputer board that can connect to the Internet. This proposed system can acquire information from the sensor of the m...
Ayahiko Niimi, Masaaki Wada, Kei Ito, Osamu Konish...
NN
2006
Springer
100views Neural Networks» more  NN 2006»
15 years 7 months ago
Neural voting machines
In theories of cognition that view the mind as a system of interacting agents, there must be mechanisms for aggregate decision-making, such as voting. Here we show that certain vo...
Whitman Richards, H. Sebastian Seung, Galen Pickar...