222 search results - page 6 / 45 » Discounting the Future in Systems Theory |
CHI
2007
ACM
15 years 1 months ago
2007
ACM
Do human-human social interactions carry over to humanvirtual human social interactions? How does this affect future interface designers? We replicated classical tests of social i...
MOBIHOC
2009
ACM
15 years 10 months ago
2009
ACM
The study in mobile ad-hoc networks (MANET) is facing challenges brought by recent discovery of non-exponential behavior of the inter-contact time distribution of mobile nodes. In...
100
click to vote
ICIS
2000
14 years 11 months ago
2000
As the basis of value creation increasingly depends on the leverage of the intangible assets of firms, Knowledge Management Systems (KMS) are emerging as powerful sources of compe...
UAI
2004
14 years 11 months ago
2004
Modeling dynamical systems, both for control purposes and to make predictions about their behavior, is ubiquitous in science and engineering. Predictive state representations (PSR...
ICALP
2010
Springer
14 years 10 months ago
2010
Springer
Abstract. We propose a theory of time-bounded verification for realtime systems, in which verification queries are phrased over time intervals of fixed, bounded duration. We argue ...