Sciweavers

2542 search results - page 21 / 509
» One step ahead
Sort
View
CCS
1997
ACM
14 years 1 months ago
The Security of Static Typing with Dynamic Linking
Dynamic linking is a requirement for portable executable content. Executable content cannot know, ahead of time, where it is going to be executed, nor know the proper operating sy...
Drew Dean
JGS
2000
105views more  JGS 2000»
13 years 8 months ago
The GIS/SA interface for substantive research(ers): A critical need
This paper is concerned with the intersection of GIS and spatial analysis, its accessibility for scientists who may be less methodologically oriented than others, and its use in su...
Lawrence A. Brown
AGTIVE
2007
Springer
14 years 3 months ago
A Single-Step Term-Graph Reduction System for Proof Assistants
In this paper, we will define a custom term-graph reduction system for a simplified lazy functional language. Our custom system is geared towards flexibility, which is accomplis...
Maarten de Mol, Marko C. J. D. van Eekelen, Rinus ...
LREC
2010
160views Education» more  LREC 2010»
13 years 10 months ago
STeP-1: A Set of Fundamental Tools for Persian Text Processing
Many NLP applications need fundamental tools to convert the input text into appropriate form or format and extract the primary linguistic knowledge of words and sentences. These t...
Mehrnoush Shamsfard, Hoda Sadat Jafari, Mahdi Ilbe...
JUCS
2007
95views more  JUCS 2007»
13 years 8 months ago
A First Step Mapping IMS Learning Design and Moodle
: Mapping the specification IMS Learning Design and the Course Management System Moodle is a logical step forward on interoperability between eLearning systems and specifications i...
Daniel Burgos, Colin Tattersall, Martin Dougiamas,...