4352 search results - page 528 / 871 » A Representation Theorem and Applications |
200
click to vote
GLVLSI
2000
IEEE
15 years 11 months ago
2000
IEEE
Symbolic Model checking is a widely used technique in sequential verification. As the size of the OBDDs and also the computation time depends on the order of the input variables,...
165
click to vote
HICSS
2000
IEEE
15 years 11 months ago
2000
IEEE
This paper presents work conducted towards the development of an effective software engineering-based methodology for integrity control in the process of spreadsheet development. ...
167
click to vote
ICECCS
2000
IEEE
15 years 11 months ago
2000
IEEE
Design of embedded systems is a complex task that requires design cycles founded upon formal notation, so that the synthesis from specification to implementation can be carried ou...
177
click to vote
ICMCS
2000
IEEE
15 years 11 months ago
2000
IEEE
We describe a genetic segmentation algorithm for video. This algorithm operates on segments of a string representation. It is similar to both classical genetic algorithms that ope...
213
click to vote
ICPR
2000
IEEE
15 years 11 months ago
2000
IEEE
In this paper we address the object recognition problem in a probabilistic framework to detect and describe object appearance through image features organized by means of active c...