903 search results - page 85 / 181 » Non-well-founded trees in categories |
150
click to vote
JUCS
2006
15 years 6 months ago
2006
: We present a tutorial of the ITP tool, a rewriting-based theorem prover that can be used to prove inductive properties of membership equational specifications. We also introduce ...
192
click to vote
TOG
2008
15 years 6 months ago
2008
We present a method for representing solid objects with spatiallyvarying oriented textures by repeatedly pasting solid texture exemplars. The underlying concept is to extend the 2...
150
click to vote
ARTMED
1999
15 years 6 months ago
1999
We present a Two-Stage Machine Learning (ML) model as a data mining method to develop practice guidelines and apply it to the problem of dementia staging. Dementia staging in clin...
183
click to vote
TOG
2002
15 years 5 months ago
2002
There are many applications that demand large quantities of natural looking motion. It is difficult to synthesize motion that looks natural, particularly when it is people who mus...
167
click to vote
CIKM
2010
Springer
15 years 4 months ago
2010
Springer
Individuals often use search engines to return to web pages they have previously visited. This behaviour, called refinding, accounts for about 38% of all queries. While researcher...