Sciweavers

286 search results - page 24 / 58
» Weak Ordering - A New Definition
Sort
View
ENTCS
2002
112views more  ENTCS 2002»
13 years 7 months ago
Ambient Calculus and its Logic in the Calculus of Inductive Constructions
The Ambient Calculus has been recently proposed as a model of mobility of agents in a dynamically changing hierarchy of domains. In this paper, we describe the implementation of t...
Ivan Scagnetto, Marino Miculan
CE
2008
95views more  CE 2008»
13 years 8 months ago
Enabling teachers to explore grade patterns to identify individual needs and promote fairer student assessment
Exploring student test, homework, and other assessment scores is a challenge for most teachers, especially when attempting to identify cross-assessment weaknesses and produce fina...
Sorelle A. Friedler, Yee Lin Tan, Nir J. Peer, Ben...
ICDE
2007
IEEE
110views Database» more  ICDE 2007»
14 years 9 months ago
Pointwise-Dense Region Queries in Spatio-temporal Databases
Applications such as traffic management and resource scheduling for location-based services commonly need to identify regions with high concentrations of moving objects. Such quer...
Jinfeng Ni, Chinya V. Ravishankar
VL
1996
IEEE
105views Visual Languages» more  VL 1996»
14 years 1 days ago
Enhancing Iconic Program Reusability with Object Sharing
This paper describes how to improve the reusability of iconic program modules. In iconic programming systems, the most important features for reuse are the customization of a modu...
Yuichi Koike, Yasuyuki Maeda, Yoshiyuki Koseki
ISTA
2008
13 years 9 months ago
From Human Knowledge to Process Models
This contribution suggests a novel approach for a systematic generation of a process model in an informal environment. It is based on the claim that the knowledge about the process...
Jörg Desel