Sciweavers

1056 search results - page 127 / 212
» Handbook of mathematical functions
Sort
View
ICHIM
2001
87views more  ICHIM 2001»
13 years 10 months ago
Digital Preservation of Cultural Heritage through Constructive Modeling
The issues of digital preservation of shapes and internal structures of historical and cultural objects are discussed. An overview of existing approaches to computer modeling of s...
Carl Vilbrandt, Alexander A. Pasko, Galina Pasko, ...
COLING
1990
13 years 10 months ago
A Type-theoretical Analysis of Complex Verb Generation
Tense and aspect, together with mood and modality, usually form the entangled structure of a complex verb. They are often hard to translate by machines, because of both syntactic ...
Satoshi Tojo

Publication
103views
13 years 10 months ago
How to Use Vectors for Representing Ground Expressions in the Implementations of the Language Refal
Most implementations of the language Refal represent ground expressions by doubly-linked lists, which results in low-cost concatenation. On the other hand, that representation nece...
Sergei M. Abramov, Sergei A. Romanenko
AAECC
2010
Springer
114views Algorithms» more  AAECC 2010»
13 years 9 months ago
Termination of narrowing via termination of rewriting
Abstract Narrowing extends rewriting with logic capabilities by allowing logic variables in terms and by replacing matching with unification. Narrowing has been widely used in diff...
Naoki Nishida, Germán Vidal
ALIFE
2008
13 years 9 months ago
Hierarchical Self-Organization in the Finitary Process Soup
Current analyses of genomes from numerous species show that the diversity of organism's functional and behavioral characters is not proportional to the number of genes that e...
Olof Görnerup, James P. Crutchfield