Sciweavers

7978 search results - page 26 / 1596
» Representation before computation
Sort
View
AAAI
1998
13 years 9 months ago
The Temporal Analysis of Chisholm's Paradox
Deonticlogic, the logic of obligations andpermissions, is plagued by several paradoxes that have to be understood before deontic logic can be used as a knowledge representation la...
Leendert W. N. van der Torre, Yao-Hua Tan
LCTRTS
2000
Springer
13 years 11 months ago
Automatic Validation of Code-Improving Transformations
This paper presents a general approach to automatically validate code-improving transformations on low-level program representations. The approach ensures the correctness of compi...
Robert van Engelen, David B. Whalley, Xin Yuan
AAAI
2004
13 years 9 months ago
Distributed Representation of Syntactic Structure by Tensor Product Representation and Non-Linear Compression
Representing lexicons and sentences with the subsymbolic approach (using techniques such as Self Organizing Map (SOM) or Artificial Neural Network (ANN)) is a relatively new but i...
Heidi H. T. Yeung, Peter W. M. Tsang
SIGGRAPH
1998
ACM
13 years 11 months ago
Real Time Compression of Triangle Mesh Connectivity
In this paper we introduce a new compressed representation for the connectivity of a triangle mesh. We present local compression and decompression algorithms which are fast enough...
Stefan Gumhold, Wolfgang Straßer