8928 search results - page 75 / 1786 » Modeling Current Events |
ANSOFT
1999
14 years 11 months ago
1999
We give a formal framework for studying real-time discrete-event systems. It describes concurrent processes as sets of possible behaviors. Compositions of processes are processes ...
CVDB
2004
ACM
15 years 5 months ago
2004
ACM
Capture, processing, and assimilation of digital media-based information such as video, images, or audio requires a unified framework within which signal processing techniques and...
117
click to vote
APWEB
2010
Springer
15 years 4 months ago
2010
Springer
— A set of lifelogs is a dataset that describes a person’s life. A high quality and large set of lifelogs is expected to be useful for many applications. Only by integrating th...
KI
2002
Springer
14 years 11 months ago
2002
Springer
Abstract. We propose ParleE, a quantitative, flexible and adaptive model of emotions for a conversational agent in a multi-agent environment capable of multimodal communication. Pa...
ICFEM
2009
Springer
15 years 6 months ago
2009
Springer
Formal specification languages are traditionally supported by theorem provers, but recently model checkers have proven to be useful tools. In this paper we present Eboc, an explic...