Sciweavers

509 search results - page 65 / 102
» Preserving Properties Under Change
Sort
View
VTC
2008
IEEE
14 years 3 months ago
Techno-Economical Viability of Deployment Strategies for Cellular-Relaying Networks
— The ability of an operator to respond to changes in demand by incrementally deploying additional network infrastructure is essential. This paper1 presents a method for evaluati...
Bogdan Timus, Johan Hultell, Mats Nilson
ECAI
2004
Springer
14 years 2 months ago
The Mereology of Stages and Persistent Entities
Since our world is populated by entities that persist through time and that change over time it is important to represent knowledge about those entities in a formal manner. In this...
Thomas Bittner, Maureen Donnelly
ZUM
2000
Springer
107views Formal Methods» more  ZUM 2000»
14 years 6 days ago
How to Drive a B Machine
The B-Method is a state-based formal method that describes behaviour in terms of MACHINES whose states change under OPERATIONS. The process algebra CSP is an event-based formalism ...
Helen Treharne, Steve Schneider
BC
2008
89views more  BC 2008»
13 years 8 months ago
Complex evolution of spike patterns during burst propagation through feed-forward networks
Abstract Stable signal transmission is crucial for information processing by the brain. Synfire-chains, defined as feedforward networks of spiking neurons, are a well-studied class...
Jun-nosuke Teramae, Tomoki Fukai
CSDA
2006
85views more  CSDA 2006»
13 years 8 months ago
Detecting change-points in multidimensional stochastic processes
A general test statistic for detecting change-points in multidimensional stochastic processes with unknown parameters is proposed. The test statistic is specialized to the case of...
Jan G. De Gooijer