6306 search results - page 352 / 1262 » Space, Time, and the Use of Language |
197
click to vote
CGF
2007
15 years 7 months ago
2007
We introduce an algorithm for the automatic computation of global parameterizations on arbitrary simplicial 2manifolds, whose parameter lines are guided by a given frame field, f...
174
click to vote
ICTAI
2005
IEEE
16 years 1 months ago
2005
IEEE
Lotos is the ISO formal specification language for describing and verifying concurrent and distributed systems. The simulation or execution of complex Lotos specifications is, h...
208
Voted
IROS
2006
IEEE
16 years 1 months ago
2006
IEEE
— We report our development of a vision-based motion planning system for an autonomous motorcycle designed for desert terrain, where uniform road surface and lane markings are no...
187
click to vote
ACMACE
2006
ACM
16 years 1 months ago
2006
ACM
A new type of Authoring System for 3DCG animation is developed in which a user can easily manipulate three dimensional objects in three dimensional simulated space on the computer...
230
click to vote
VL
2002
IEEE
16 years 15 days ago
2002
IEEE
In recent years, real world objects have been used to reflect information previously shown on the computer screen. While most earlier efforts have required significant developer...