31686 search results - page 6204 / 6338 » Resource typing in Guru |
134
click to vote
ENTCS
2007
15 years 22 days ago
2007
In this paper, we present a term rewriting based library for manipulating Java bytecode. We define a mapping from bytecode programs to algebraic terms, and we use Tom, an extensi...
113
Voted
ML
2008
ACM
15 years 22 days ago
2008
ACM
Significant changes in the instance distribution or associated cost function of a learning problem require one to reoptimize a previously-learned classifier to work under new cond...
MOR
2008
15 years 22 days ago
2008
We consider a singular stochastic control problem, which is called the Monotone Follower Stochastic Control Problem and give sufficient conditions for the existence and uniqueness...
108
Voted
JWE
2006
15 years 22 days ago
2006
In the light of the existing literature on the issue of cross-cultural interface design, we carried out a smallscale study in order to check whether we could find cultural differe...
129
click to vote
KAIS
2006
15 years 22 days ago
2006
XML has already become the de facto standard for specifying and exchanging data on the Web. However, XML is by nature verbose and thus XML documents are usually large in size, a fa...