Embodiment and subjectivity are important research issues for collaborative virtual environments. We claim that the direction and distance of an embodiment are the most important ...
One of the major difficulties with teaching the first programming course is input/output. It is desirable to show students how to input data and output results early in the course...
We present several efficient dynamic data structures for point-enclosure queries, involving convex fat objects in R2 or R3. Our planar structures are actually fitted for a more ...
Alon Efrat, Matthew J. Katz, Frank Nielsen, Micha ...
Self-training has been shown capable of improving on state-of-the-art parser performance (McClosky et al., 2006) despite the conventional wisdom on the matter and several studies ...
Theoremsin automated theorem proving are usually proved by logical formal proofs. However,there is a subset of problems which humanscan prove in a different wayby the use of geome...