2664 search results - page 100 / 533 » Theory by Process |
BIRTHDAY
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. Van Glabbeek (1990) presented the linear time/branching time spectrum of behavioral equivalences for finitely branching, concrete, sequential processes. He studied these...
DSN
2002
IEEE
14 years 1 months ago
2002
IEEE
This paper reports work to support dependability arguments about the future reliability of a product before there is direct empirical evidence. We develop a method for estimating ...
CDC
2009
IEEE
14 years 27 days ago
2009
IEEE
— Bayesian networks have extensively been used in numerous fields including artificial intelligence, decision theory and control. Its ability to utilize noisy and missing data ...
IV
2010
IEEE
13 years 6 months ago
2010
IEEE
Despite the growing number of systems providing visual analytic support for investigative analysis, few empirical studies include investigations on the analytical reasoning proces...
CHI
2008
ACM
14 years 8 months ago
2008
ACM
We study the development of common ground in an emergency management planning task. Twelve three-person multi-role teams performed the task with a paper prototype in a controlled ...