Sciweavers

4600 search results - page 747 / 920
» Presentation Of The Eurolang Project
Sort
View
CORR
2008
Springer
84views Education» more  CORR 2008»
15 years 6 months ago
Nested Ordered Sets and their Use for Data Modelling
In this paper we present a new approach to data modelling, called the concept-oriented model (CoM), and describe its main features and characteristics including data semantics and ...
Alexandr A. Savinov
CVIU
2008
207views more  CVIU 2008»
15 years 6 months ago
A differential geometric approach to representing the human actions
This paper presents a novel representation for human actions which encodes the variations in the shape and motion of the performing actor. When an actor performs an action, at eac...
Alper Yilmaz, Mubarak Shah
AIEDU
2006
111views more  AIEDU 2006»
15 years 6 months ago
FearNot! Involving Children in the Design of a Virtual Learning Environment
This paper presents FearNot, a virtual learning environment populated by synthetic characters interacting in bullying scenarios, aimed at 8-12 year old children. FearNot was design...
Lynne E. Hall, Sarah N. Woods, Ruth Aylett
187
Voted
EJIS
2008
98views more  EJIS 2008»
15 years 6 months ago
Interactive innovation of technology for mobile work
Despite the increasing popularity of mobile information systems, the actual processes leading to the innovation of mobile technologies remain largely unexplored. This study uses A...
Jan Kietzmann
ENTCS
2008
90views more  ENTCS 2008»
15 years 6 months ago
Ensuring the Correctness of Lightweight Tactics for JavaCard Dynamic Logic
The interactive theorem prover developed in the KeY project, which implements a sequent calculus for JavaCard Dynamic Logic (JavaCardDL) is based on taclets. Taclets are lightweig...
Richard Bubel, Andreas Roth, Philipp Rümmer