100 search results - page 14 / 20 » Strict Basic Superposition |
CADE
1994
Springer
14 years 20 days ago
1994
Springer
In this paper we investigate the concept of simple termination. A term rewriting system is called simply terminating if its termination can be proved by means of a simpli cation o...
SIGGRAPH
1995
ACM
14 years 3 days ago
1995
ACM
Recent advances in computer graphics have produced images approaching the elusive goal of photorealism. Since many natural objects are so complex and detailed, they are often not ...
EURONGI
2008
Springer
13 years 10 months ago
2008
Springer
The guaranteed delivery of critical data is an essential requirement in most Wireless Sensor Network (WSN) applications. The paucity of energy, communication, processing and storag...
CASCON
2006
13 years 10 months ago
2006
Parsing context-dependent computer languages requires an ability to maintain and query data structures while parsing for the purpose of influencing the parse. Parsing ambiguous co...
ACL
1992
13 years 9 months ago
1992
In this article we outline a basic approach to treating metonymy properly in a multilingual machine translation system. This is the first attempt at treating metonymy in an machin...