Sciweavers

1005 search results - page 169 / 201
» A Language for Manipulating Arrays
Sort
View
CC
2004
Springer
115views System Software» more  CC 2004»
15 years 3 months ago
Periodic Polyhedra
This paper presents a new method for computing the integer hull of a parameterized rational polyhedron by introducing the concept of periodic polyhedron. Besides concerning general...
Benoît Meister
DFG
2004
Springer
15 years 3 months ago
A Unifying Semantics for Sequential Function Charts
Programmable Logic Controllers (PLC) are widely used as device controllers for assembly lines, chemical processes, or power plants. Sequential Function Charts (SFC) form one of the...
Nanette Bauer, Ralf Huuck, Ben Lukoschus, Sebastia...
EGOV
2004
Springer
15 years 3 months ago
M-GIS - Mobile and Interoperable Access to Geographic Information
This paper describes an architecture which can be used to access geographic information from mobile devices with limited display and processing characteristics, such as Personal Di...
Jorge Cardoso, Artur Rocha, João Correia Lo...
EWCBR
2004
Springer
15 years 3 months ago
Investigating Graphs in Textual Case-Based Reasoning
Textual case-based reasoning (TCBR) provides the ability to reason with domain-specific knowledge when experiences exist in text. Ideally, we would like to find an inexpensive way ...
Colleen Cunningham, Rosina Weber, Jason M. Proctor...
ITS
2004
Springer
130views Multimedia» more  ITS 2004»
15 years 3 months ago
Opening the Door to Non-programmers: Authoring Intelligent Tutor Behavior by Demonstration
Abstract. Intelligent tutoring systems are quite difficult and time intensive to develop. In this paper, we describe a method and set of software tools that ease the process of cog...
Kenneth R. Koedinger, Vincent Aleven, Neil T. Heff...