2335 search results - page 331 / 467 » Type Checking Type Classes |
106
Voted
LREC
2010
15 years 4 months ago
2010
This paper presents the details of a pilot study in which we tagged portions of the American National Corpus (ANC) for idioms composed of verb-noun constructions, prepositional ph...
122
Voted
SDM
2010
SIAM
15 years 4 months ago
2010
SIAM
A relational probability tree (RPT) is a type of decision tree that can be used for probabilistic classification of instances with a relational structure. Each leaf of an RPT cont...
140
Voted
FECS
2006
15 years 4 months ago
2006
- Developments in CS1 pedagogy seek to improve the capabilities of students in their understanding of how to write programs. This involves learning how to solve various types of pr...
132
Voted
APVIS
2001
15 years 4 months ago
2001
This paper demonstrates the application of graph drawing and information visualisation techniques to the visualisation of information which can be modelled as an attributed graph....
111
Voted
DARE
2000
15 years 4 months ago
2000
In this paper, we first present a brief review of approaches used for studying and designing Augmented Reality (AR) systems. The variety of approaches and definitions in AR requir...