4617 search results - page 343 / 924 » Automation of Diagrammatic Reasoning |
255
click to vote
POPL
2005
ACM
16 years 7 months ago
2005
ACM
We present Rhodium, a new language for writing compiler optimizations that can be automatically proved sound. Unlike our previous work on Cobalt, Rhodium expresses optimizations u...
160
click to vote
PCM
2005
Springer
16 years 4 days ago
2005
Springer
A spread pattern of a tumor in medical images is an important factor for classification of the tumor. The spread pattern is generally not considered when we use only one segment fo...
167
click to vote
HICSS
2003
IEEE
15 years 12 months ago
2003
IEEE
This paper describes the design and evaluation of COLER, a computer mediated learning environment that includes a software coach to help students collaborate while solving Entity ...
158
click to vote
LREC
2008
15 years 8 months ago
2008
The majority of work described in this paper was conducted as part of the Recovering Evidence from Video by fusing Video Evidence Thesaurus and Video MetaData (REVEAL) project, sp...
153
click to vote
ICHIM
2001
15 years 8 months ago
2001
At excavations a large number of sherds of archaeological pottery is found. Since the documentation and administration of these fragments represent a temporal and personnel effort...