Sciweavers

5924 search results - page 706 / 1185
» Normal Process Representatives
Sort
View
CORR
2007
Springer
90views Education» more  CORR 2007»
15 years 7 months ago
IEEE 1149.4 Compatible ABMs for Basic RF Measurements
An analogue testing standard IEEE 1149.4 is mainly targeted for low-frequency testing. The problem studied in this paper is extending the standard also for radio frequency testing...
Pekka Syri, Juha Häkkinen, Markku Moilanen
JAIR
2006
131views more  JAIR 2006»
15 years 7 months ago
Asynchronous Partial Overlay: A New Algorithm for Solving Distributed Constraint Satisfaction Problems
Distributed Constraint Satisfaction (DCSP) has long been considered an important problem in multi-agent systems research. This is because many real-world problems can be represent...
Roger Mailler, Victor R. Lesser
JCB
2006
185views more  JCB 2006»
15 years 7 months ago
Bayesian Sequential Inference for Stochastic Kinetic Biochemical Network Models
As postgenomic biology becomes more predictive, the ability to infer rate parameters of genetic and biochemical networks will become increasingly important. In this paper, we expl...
Andrew Golightly, Darren J. Wilkinson
ENTCS
2007
85views more  ENTCS 2007»
15 years 7 months ago
Stochastic Modelling of Communication Protocols from Source Code
A major development in qualitative model checking was the jump to verifying properties of source code directly, rather than requiring a separately specified model. We describe an...
Michael J. A. Smith
ENTCS
2007
78views more  ENTCS 2007»
15 years 7 months ago
PEPA Queues: Capturing Customer Behaviour in Queueing Networks
Queueing network formalisms are very good at describing the spatial movement of customers, but typically poor at describing how customers change as they move through the network. ...
Ashok Argent-Katwala, Jeremy T. Bradley