7318 search results - page 9 / 1464 » Models of real-valued measurability |
TCS
2008
14 years 9 months ago
2008
Temporal logics and model-checking have proved successful to respectively express biological properties of complex biochemical systems, and automatically verify their satisfaction...
SIAMCO
2010
14 years 4 months ago
2010
We study a simple continuous-time multiagent system related to Krause's model of opinion dynamics: each agent holds a real value, and this value is continuously attracted by e...
ISQED
2007
IEEE
15 years 4 months ago
2007
IEEE
Novel experimental characterization method and circuit modeling for frequency-variant transmission lines are presented. Experimental test patterns are designed and fabricated by u...
ICRA
2000
IEEE
15 years 2 months ago
2000
IEEE
We describe a novel system for robotic measurement of contact sounds. This system is well suited for acquiring impulse-response sound models. A brief explanation of the sound mode...
SIGIR
2003
ACM
15 years 3 months ago
2003
ACM
An empirical study has been conducted investigating the relationship between the performance of a generative language model in terms of perplexity and the corresponding informatio...