501 search results - page 83 / 101 » Diagram Techniques for Confluence |
100
click to vote
ICIP
2003
IEEE
15 years 5 months ago
2003
IEEE
This paper addresses the reconstruction of 3 0 human body models fram Z D video sequences. Considering that the input frames are already segmented, the proposed technique consists...
DSN
2002
IEEE
15 years 4 months ago
2002
IEEE
The NASA Remote Exploration and Experimentation (REE) Project, managed by the Jet Propulsion Laboratory, has the vision of bringing commercial supercomputing technology into space...
100
click to vote
INFOVIS
2002
IEEE
15 years 4 months ago
2002
IEEE
Radial, space-filling (RSF) techniques for hierarchy visualization have several advantages over traditional node-link diagrams, including the ability to efficiently use the disp...
ICSM
1999
IEEE
15 years 4 months ago
1999
IEEE
In order to maintain the consistency between sources and documentation, while at the same time providing documentation at the design level, it is necessary to generate documentati...
106
click to vote
ISSTA
1998
ACM
15 years 4 months ago
1998
ACM
Symbolic model checking has proved highly successful for large nite-state systems, in which states can be compactly encoded using binary decision diagrams (BDDs) or their variants...