1847 search results - page 219 / 370 » Hybrid Functional Interpretations |
146
click to vote
TPHOL
2006
IEEE
16 years 13 days ago
2006
IEEE
We extract on the computer a number of moduli of uniform continuity for the first few elements of a sequence of closed terms t of G¨odel’s T of type (N→N)→(N→N). The gen...
185
click to vote
AUSAI
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. In this paper we propose a clustering algorithm called sCluster for analysis of gene expression data based on pattern-similarity. The algorithm captures the tight cluster...
157
click to vote
DIGRA
2005
Springer
15 years 12 months ago
2005
Springer
Characters are in an important role in many games. A good player character is likely to leave good lasting impression about the game. It has been argued that creating the personal...
151
click to vote
ISSAC
2005
Springer
15 years 12 months ago
2005
Springer
This paper describes a method to use compiled, strongly typed Aldor domains in the interpreted, expression-oriented Maple environment. This represents a non-traditional approach t...
158
click to vote
MHCI
2005
Springer
15 years 12 months ago
2005
Springer
We combine the functionality of a mobile Global Positioning System (GPS) with that of an MP3 player, implemented on a PocketPC, to produce a handheld system capable of guiding a u...