4767 search results - page 591 / 954 » Structures for Abstract Rewriting |
179
click to vote
ESOP
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. Linear type systems allow destructive operations such as object deallocation and imperative updates of functional data structures. These operations and others, such as th...
203
click to vote
FMCAD
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. We present a formal verification methodology for datapathdominated hardware. This provides a systematic but flexible framework within which to organize the activities und...
150
click to vote
ICCS
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. Much research has focused on the problem of knowledge accessibility, sharing and reuse. Specific languages (e.g. KIF, CG, RDF) and ontologies have been proposed. Common c...
150
click to vote
IWSAS
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. This paper deals with self-adapting software that is structured according to a control theory architecture. Such software contains, in addition to its main function, two ...
163
click to vote
RT
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. Rendering realistic faces and facial expressions requires good models for the reflectance of skin and the motion of the face. We describe a system for modeling, animating...