2702 search results - page 248 / 541 » Practically Applicable Formal Methods |
100
click to vote
ICASSP
2007
IEEE
15 years 6 months ago
2007
IEEE
Thanks to a specific formalism for signal generation, it is possible to transpose an image processing problem to an array processing problem. For straight line characterization, t...
128
Voted
UAI
1993
15 years 3 months ago
1993
In this paper some initialwork towards a new approach to qualitative reasoning under uncertainty is presented. This method is not only applicable to qualitative probabilistic reas...
108
click to vote
CORR
2010
Springer
15 years 2 months 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...
121
Voted
SAC
2010
ACM
15 years 9 months ago
2010
ACM
Scalability of software engineering methods can be improved by application of the methods to individual components instead of complete systems. This is, however, possible only if ...
TASE
2008
IEEE
15 years 8 months ago
2008
IEEE
Symmetry reduction holds great promise to counter the state explosion problem. However, currently it is “conducting a life on the fringe”, and is not widely applied, mainly du...