Sciweavers

1209 search results - page 185 / 242
» Universal Algebra and Computer Science
Sort
View
CONCUR
2004
Springer
14 years 2 months ago
Parameterised Boolean Equation Systems (Extended Abstract)
Systems (extended abstract) Simona Orzan and Tim A.C. Willemse Department of Mathematics and Computer Science, Eindhoven University of Technology P.O. Box 513, 5600 MB Eindhoven, T...
Jan Friso Groote, Tim A. C. Willemse
GD
2001
Springer
14 years 1 months ago
Orthogonal Drawings of Plane Graphs without Bends
In an orthogonal drawing of a plane graph each vertex is drawn as a point and each edge is drawn as a sequence of vertical and horizontal line segments. A bend is a point at which...
Md. Saidur Rahman, Mahmuda Naznin, Takao Nishizeki
IWVF
2001
Springer
14 years 1 months ago
Minimum-Length Polygons in Approximation Sausages
The paper introduces a new approximation scheme for planar digital curves. This scheme defines an approximating sausage ‘around’ the given digital curve, and calculates a mini...
Tetsuo Asano, Yasuyuki Kawamura, Reinhard Klette, ...
VISUALIZATION
1997
IEEE
14 years 28 days ago
Global tele-immersion
The term Tele-Immersion was first used in October 1996 as the title of a workshop the Electronic Visualization Laboratory (EVL) at University of Illinois at Chicago (UIC) organize...
Thomas A. DeFanti
FLAIRS
2004
13 years 10 months ago
Augmenting AI Coursework Through Undergraduate Research
All courses in Artificial Intelligence are not equal. The topics covered by a course entitled Artificial Intelligence vary widely. The Computing Curricula 2001: Computer Science o...
Antonio M. Lopez Jr.