208 search results - page 24 / 42 » A Normal Form for Function Rings of Piecewise Functions |
149
click to vote
ENTCS
2006
15 years 4 months ago
2006
In Rutten [13] the theoretical basis was given for the synthesis of binary Mealy machines from specifications in 2-adic arithmetic. This construction is based on the symbolic comp...
136
click to vote
ICTAC
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. The classical work on test case generation and formal methods focuses either on algebraic or model-based specifications. In this paper we propose an approach to derive t...
224
click to vote
GIS
2004
ACM
16 years 5 months ago
2004
ACM
In the geometric data model [6], spatio-temporal data are modelled as a finite collection of triangles that are transformed by time-dependent affinities. To facilitate querying an...
136
click to vote
ASAP
2009
IEEE
16 years 1 months ago
2009
IEEE
—Simulating spiking neural networks is of great interest to scientists wanting to model the functioning of the brain. However, large-scale models are expensive to simulate due to...
132
click to vote
CORR
2007
Springer
15 years 4 months ago
2007
Springer
— In this paper, we present a complete analytical study of dynamic membership (aka churn) in structured peer-to-peer networks. We use a master-equation-based approach, which is u...