4018 search results - page 243 / 804 » Process algebra for performance evaluation |
196
Voted
CORR
2004
Springer
15 years 4 months ago
2004
Springer
Many functional logic languages are based on narrowing, a unification-based goal-solving mechanism which subsumes the reduction mechanism of functional languages and the resolutio...
150
click to vote
CVPR
2007
IEEE
16 years 7 months ago
2007
IEEE
Markov Random Field (MRF) models are a popular tool for vision and image processing. Gaussian MRF models are particularly convenient to work with because they can be implemented u...
152
Voted
ICIP
2001
IEEE
16 years 6 months ago
2001
IEEE
In this paper we use concepts from the lattice-based theory of morphological operators and fuzzy sets to develop generalized lattice image operators that can be expressed as nonli...
139
Voted
ICCAD
2006
IEEE
16 years 1 months ago
2006
IEEE
Statistical Static Timing Analysis has received wide attention recently and emerged as a viable technique for manufacturability analysis. To be useful, however, it is important th...
130
click to vote
EUROMICRO
1998
IEEE
15 years 9 months ago
1998
IEEE
Industry is facing a crisis in the design of complex hardware/software systems. Due to the increasing complexity, the gap between the generation of a product idea and the realisat...