23036 search results - page 104 / 4608 » Sketching informal presentations |
130
click to vote
LPAR
2012
Springer
13 years 5 months ago
2012
Springer
We motivate and introduce a query language PrQL designed for inspecting machine representations of proofs. PrQL natively supports hiproofs which express proof structure using hiera...
SIGGRAPH
1998
ACM
15 years 2 months ago
1998
ACM
We present a new method for creating an image with a handpainted appearance from a photograph, and a new approach to designing styles of illustration. We “paint” an image with...
WWW
2004
ACM
15 years 10 months ago
2004
ACM
In this paper, we sketch a method for clustering e-commerce search engines by the type of products/services they sell. This method utilizes the special features of interface pages...
SPATIALCOGNITION
1998
Springer
15 years 2 months ago
1998
Springer
As Talmy has observed, language schematizes space; language provides a systematic framework to describe space, by selecting certain aspects of a referent scene while neglecting the...
COGSCI
2006
14 years 10 months ago
2006
Mechanical systems have structural organizations--parts, and their relations--and functional organizations--temporal, dynamic, and causal processes--which can be explained using t...