3239 search results - page 505 / 648 » A Logical Process Calculus |
106
Voted
ECAI
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. This paper is centered on the problem of merging (possibly conflicting) information coming from different sources. Though this problem has attracted much attention in pro...
BIRTHDAY
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. The error-prone process of formal specification and verification of large systems requires an efficient, evolutionary formal development approach. Development graphs have...
102
click to vote
AEI
2007
15 years 29 days ago
2007
: An implicit human-machine interaction communication framework that is sensitive to human affective states is presented. The overall goal is to achieve detection and recognition o...
92
Voted
CORR
2010
Springer
15 years 28 days ago
2010
Springer
This paper illustrates a technique for specifying the detailed timing, logical operation, and compositional circuit design of digital circuits in terms of ordinary state machines w...
82
Voted
CORR
2010
Springer
15 years 28 days ago
2010
Springer
Abstract. This is a short survey illustrating some of the essential aspects of the theory of canonical extensions. In addition some topological results about canonical extensions o...