7890 search results - page 1177 / 1578 » The MathSAT 3 System |
157
Voted
ELPUB
1998
ACM
15 years 11 months ago
1998
ACM
The content and structure of an electronically published document can be authored and processed in ways that allow for flexibility in presentation on different environments for di...
171
Voted
ASIAN
1998
Springer
15 years 11 months ago
1998
Springer
Chi calculus was proposed as a process algebra that has a uniform treatment of names. The paper carries out a systematic study of bisimilarities for chi processes. The notion of L-...
184
Voted
SIGGRAPH
1998
ACM
15 years 11 months ago
1998
ACM
This article introduces new techniques for non-distorted texture mapping on complex triangulated meshes. Texture coordinates are assigned to the vertices of the triangulation by u...
207
Voted
EPS
1998
Springer
15 years 11 months ago
1998
Springer
This paper discusses a simple representation of variable-dimensional optimization problems for evolutionary algorithms. Although it was successfully applied to the optimization of ...
194
Voted
ERCIMDL
1998
Springer
15 years 11 months ago
1998
Springer
Abstract. Since 1994, the Alexandria Digital Library Project has developed three prototype digital libraries for georeferenced information. This paper describes the most recent of ...