900 search results - page 55 / 180 » On the observational theory of the CPS-calculus |
132
click to vote
COMPGEOM
2006
ACM
16 years 4 days ago
2006
ACM
The k-means method is an old but popular clustering algorithm known for its observed speed and its simplicity. Until recently, however, no meaningful theoretical bounds were known...
143
click to vote
ISCAS
2005
IEEE
15 years 11 months ago
2005
IEEE
Abstract— This paper derives a novel property of the secondorder modes of discrete-time systems under variable transformation. This is the generalization of the theory presented ...
148
click to vote
ICANN
2005
Springer
15 years 11 months ago
2005
Springer
While synaptic learning mechanisms have always been a core topic of neural computation research, there has been relatively little work on intrinsic learning processes, which change...
130
click to vote
HOLOMAS
2005
Springer
15 years 11 months ago
2005
Springer
Information-based agency is founded on two observations: everything in an agent’s world model is uncertain, and everything that an agent communicates gives away valuable informa...
161
click to vote
FATES
2004
Springer
15 years 11 months ago
2004
Springer
We present an extension of Tretmans’ theory and algorithm for test generation for input-output transition systems to real-time systems. Our treatment is based on an operational i...