1672 search results - page 308 / 335 » Interactive Mathematical Documents |
132
click to vote
C5
2004
IEEE
15 years 5 months ago
2004
IEEE
information technologies as "the ability to reformulate knowledge, to express oneself creatively and appropriately, and to produce and generate information (rather than simply...
147
click to vote
AMDO
2000
Springer
15 years 5 months ago
2000
Springer
- In this paper we present a specific matching technique based on basic motor patterns between two image sequences taken from different view points and a VRML synthetic human model...
ICSE
2000
IEEE-ACM
15 years 5 months ago
2000
IEEE-ACM
This paper presents a technique for incrementally constructing safety specifications, abstract algorithm descriptions, and simulation proofs showing that algorithms meet their spe...
127
click to vote
JSSPP
1995
Springer
15 years 5 months ago
1995
Springer
During the past ve years scientists discovered that modern UNIX workstations connected with ethernet and ber networks could provide enough computational performance to compete wit...
123
click to vote
SIGGRAPH
1995
ACM
15 years 5 months ago
1995
ACM
We present a new, interactive tool called Intelligent Scissors which we use for image segmentation and composition. Fully automated segmentation is an unsolved problem, while manu...