Sciweavers

1715 search results - page 20 / 343
» How Space Structures Language
Sort
View
BIRTHDAY
1997
Springer
14 years 18 days ago
Spatial and Temporal Structures in Cognitive Processes
The structures of space and time are identified as essential for the realization of cognitive systems. It is suggested that the omnipresence of space and time may have been respons...
Christian Freksa
MOBIQUITOUS
2008
IEEE
14 years 2 months ago
How to edit gigabyte XML files on a mobile phone with XAS, RefTrees, and RAXS
The Open Source mobility middleware developed in the Fuego Core project provides a stack for efficient XML processing on limited devices. Its components are a persistent map API, ...
Tancred Lindholm, Jaakko Kangasharju
CNL
2009
13 years 9 months ago
The Naproche Project Controlled Natural Language Proof Checking of Mathematical Texts
Abstract. This paper discusses the semi-formal language of mathematics and presents the Naproche CNL, a controlled natural language for mathematical authoring. Proof Representation...
Marcos Cramer, Bernhard Fisseni, Peter Koepke, Dan...
IROS
2006
IEEE
205views Robotics» more  IROS 2006»
14 years 2 months ago
Vision-based Motion Planning for an Autonomous Motorcycle on Ill-Structured Road
— We report our development of a vision-based motion planning system for an autonomous motorcycle designed for desert terrain, where uniform road surface and lane markings are no...
Dezhen Song, Hyun Nam Lee, Jingang Yi, Anthony Lev...
FLAIRS
2003
13 years 9 months ago
Minimal Text Structuring to Improve the Generation of Feedback in Intelligent Tutoring Systems
The goal of our work is to improve the Natural Language feedback provided by Intelligent Tutoring Systems. In this paper, we discuss how to make the content presented by one such ...
Susan M. Haller, Barbara Di Eugenio