6413 search results - page 505 / 1283 » Classes of cycle bases |
181
click to vote
AFPAC
1997
Springer
15 years 11 months ago
1997
Springer
In this paper it is shown how multilinear forms can be used in the perception-action cycle. Firstly, these forms can be used to reconstruct an unknown (or partially known) scene fr...
198
click to vote
SIGSOFT
1996
ACM
15 years 11 months ago
1996
ACM
In this paper we present our experiences in using symbolic model checking to analyze a specification of a software system for aircraft collision avoidance. Symbolic model checking ...
151
click to vote
VISUALIZATION
1993
IEEE
15 years 11 months ago
1993
IEEE
Fast techniques for direct volume rendering over curvilinear grids of hexahedral cells are developed. This type of 3D grid is common in computational uid dynamics and nite element...
193
click to vote
VLDB
1994
ACM
15 years 11 months ago
1994
ACM
Object-oriented database OODB users bring with them large quantities of legacy data megabytes and even gigabytes. In addition, scienti c OODB users continually generate new data. ...
172
click to vote
ASPDAC
2007
ACM
15 years 11 months ago
2007
ACM
Turbo decoding architectures have greater error correcting capability than any other known code. Due to their excellent performance turbo codes have been employed in several trans...