999 search results - page 171 / 200 » Structured modeling for processes: A thermodynamical network... |
SCESM
2006
ACM
14 years 1 months ago
2006
ACM
As technical systems keep growing more complex and sophisticated, designing software for the safety-critical coordination between their components becomes increasingly difficult....
DIGRA
2003
Springer
14 years 29 days ago
2003
Springer
Communication between players in networked computer games is often inadequately implemented. The games do not exploit the full potential of using different forms of communication ...
POPL
2010
ACM
14 years 5 months ago
2010
ACM
d by recent research in abstract model checking, we present a new approach to inferring dependent types. Unlike many of the existing approaches, our approach does not rely on prog...
TON
1998
13 years 7 months ago
1998
—The notion of effective bandwidths has provided a useful practical framework for connection admission control and capacity planning in high-speed communication networks. The ass...
ICASSP
2008
IEEE
14 years 2 months ago
2008
IEEE
This paper presents a new framework for accumulating beliefs in spoken dialogue systems. The technique is based on updating a Bayesian Network that represents the underlying state...