10916 search results - page 170 / 2184 » On Constructive Connectives and Systems |
158
click to vote
COMBINATORICS
2002
15 years 6 months ago
2002
Let G = (V, E) be a connected undirected graph and S a subset of vertices. If for all vertices v V , the sets Br(v) S are all nonempty and different, where Br(v) denotes the set...
151
click to vote
AIED
2007
Springer
16 years 23 days ago
2007
Springer
Increasingly, learning environments are opening the learner model to the user it represents. This paper describes a study in which students were able to create their own presentati...
153
click to vote
HT
2003
ACM
15 years 11 months ago
2003
ACM
Tinderbox, a hypertext tool for making, analyzing, and sharing notes, explores the use of collage to build and share linked conceptual structures. Adopting a simple, regular data ...
127
click to vote
UIST
1996
ACM
15 years 10 months ago
1996
ACM
The Cage is an easy to use 3D grid. Built into a 3D modeler, it provides a visualized reference coordinate system that helps the user to orient himself in 3D space, and that suppo...
156
click to vote
LREC
2008
15 years 8 months ago
2008
Case frames are an important knowledge base for a variety of natural language processing (NLP) systems. For the practical use of these systems in the real world, wide-coverage cas...