Sciweavers

1734 search results - page 302 / 347
» its 2000
Sort
View
CGF
2002
110views more  CGF 2002»
13 years 9 months ago
Free-form sketching with variational implicit surfaces
With the advent of sketch-based methods for shape construction, there's a new degree of power available in the rapid creation of approximate shapes. Sketch [Zeleznik, 1996] s...
Olga A. Karpenko, John F. Hughes, Ramesh Raskar
DSONLINE
2000
60views more  DSONLINE 2000»
13 years 9 months ago
Ubiquitous Electronic Tagging
The automatic identification industry is growing rapidly. Tags occur in many forms and appear on everything from luggage at the airport, to dogs, trains and fresh fruit. As with m...
Roy Want, Daniel M. Russell
ENTCS
2000
120views more  ENTCS 2000»
13 years 9 months ago
Efficient Substitution in Hoare Logic Expressions
Substitution plays an important role in Hoare Logic, as it is used in interpreting assignments. When writing a computer-based realization of Hoare Logic, it is therefore important...
Roberto Virga
ETS
2000
IEEE
155views Hardware» more  ETS 2000»
13 years 9 months ago
Using technologies in teaching: an initiative in academic staff development
Academic staff development in the pedagogical applications of new technologies is fundamental to the transformation of teaching and learning in tertiary education settings. We pre...
Christine Spratt, Stuart Palmer, Jo Coldwell
IJCGA
2000
64views more  IJCGA 2000»
13 years 9 months ago
High Fidelity Interval Assignment
Quadrilateral meshing algorithms impose certain constraints on the number of intervals or mesh edges of the curves bounding a surface. When constructing a conformal mesh of a colle...
Scott A. Mitchell