2239 search results - page 232 / 448 » Computing with abstract matrix structures |
136
Voted
IWCM
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. Differential motion estimation is based on detecting brightness changes in local image structures. Filters approximating the local gradient are applied to the image seque...
141
Voted
AGTIVE
2003
Springer
15 years 9 months ago
2003
Springer
Abstract. This paper deals with knowledge-based computer aided design. A novel method giving additional support for conceptual design is presented. In this method, a designer firs...
133
Voted
AI
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. A conditioning graph (CG) is a graphical structure that attempt to minimize the implementation overhead of computing probabilities in belief networks. A conditioning grap...
133
Voted
ACTA
2007
15 years 3 months ago
2007
Abstract. In order to design and analyse complex systems, modelers need formal models with two contradictory requirements: a high expressivity and the decidability of behavioural p...
145
click to vote
ICTAC
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. Separation kernels are key components in embedded applications. Their small size and widespread use in high-integrity environments make them good targets for formal model...