Sciweavers

3362 search results - page 413 / 673
» A definition of subjective possibility
Sort
View
ICAIL
1995
ACM
15 years 10 months ago
Automated Legislative Drafting: Generating Paraphrases of Legislation
In this paper, we describe which roles deep structures of law play in (automatic) drafting legislation. Deep structures contain a formal description of the intended normative effe...
Radboud Winkels, Nienke den Haan
UML
1997
Springer
15 years 10 months ago
Evaluation of Object-Oriented Modelling Languages: A Comparison Between OML and UML
The following article is motivated by the current efforts of the Object Management Group (OMG) to standardize object-oriented modelling languages. In the face of the great economi...
Michael Prasse
VISUALIZATION
1997
IEEE
15 years 10 months ago
Controlled simplification of genus for polygonal models
Genus-reducing simplifications are important in constructing multiresolution hierarchies for level-of-detail-based rendering, especially for datasets that have several relatively ...
Jihad El-Sana, Amitabh Varshney
SIGGRAPH
1995
ACM
15 years 10 months ago
Polygon-assisted JPEG and MPEG compression of synthetic images
Recent advances in realtime image compression and decompression hardware make it possible for a high-performance graphics engine to operate as a rendering server in a networked en...
Marc Levoy
ELP
1991
15 years 10 months ago
Natural Semantics and Some of Its Meta-Theory in Elf
Operational semantics provide a simple, high-level and elegant means of specifying interpreters for programming languages. In natural semantics, a form of operational semantics, p...
Spiro Michaylov, Frank Pfenning