4485 search results - page 321 / 897 » Equivalences on Observable Processes |
164
Voted
ICPR
2000
IEEE
15 years 11 months ago
2000
IEEE
We discuss the issues and challenges of generic object recognition. We argue that high-level, volumetric part-based descriptions are essential in the process of recognizing object...
157
click to vote
ICCAD
1998
IEEE
15 years 11 months ago
1998
IEEE
In this paper, we propose a high-level variable selection for partial-scan approach to improve the testability of digital systems. The testability of a design is evaluated at the ...
164
click to vote
ICSE
1998
IEEE-ACM
15 years 11 months ago
1998
IEEE-ACM
This paper presents an approach to the study of cognitive activities in collaborative software development. This approach has been developed by a multidisciplinary team made up of...
171
click to vote
AGP
1995
IEEE
15 years 10 months ago
1995
IEEE
The main difficulty in the formalization of a static analysis framework for CC programs is probably related to the correct approximation of the entailment relation between constrai...
161
Voted
CDC
2009
IEEE
15 years 10 months ago
2009
IEEE
— This paper presents the optimal joint filtering and parameter identification problem for uncertain linear stochastic systems with unknown parameters in both state and observa...