2500 search results - page 61 / 500 » Specifying Behavior in C |
JACM
2002
13 years 9 months ago
2002
In this paper we define timed regular expressions, a formalism for specifying discrete behaviors augmented with timing information, and prove that its expressive power is equivale...
HICSS
2008
IEEE
14 years 3 months ago
2008
IEEE
Knowledge sharing (KS) has been a central concern in knowledge management (KM) practice and research. However, KS has remained largely a simplistic concept. In this study, we diff...
WWW
2007
ACM
14 years 10 months ago
2007
ACM
This paper describes our efforts to investigate factors in user's browsing behavior to automatically evaluate web pages that the user shows interest in. To evaluate web pages...
ATAL
2008
Springer
13 years 11 months ago
2008
Springer
In multi-agent applications, normative systems are usually used to regulate the behavior of the agents. They provide an efficient means to ensure limited deviations from an expecte...
ICASSP
2010
IEEE
13 years 9 months ago
2010
IEEE
We study the convergence behavior of the Active Mask (AM) framework, originally designed for segmenting punctate image patterns. AM combines the flexibility of traditional active...