2036 search results - page 58 / 408 » A generic type-and-effect system |
118
click to vote
MDM
2009
Springer
15 years 7 months ago
2009
Springer
Creation of pedagogical learning models to handle the specificity of mobile learning and the inherent constraints of mobile devices is a fundamental challenge in mobile learning. ...
RTA
2009
Springer
15 years 7 months ago
2009
Springer
Reasoning about the knowledge of an attacker is a necessary step in many formal analyses of security protocols. In the framework of the applied pi calculus, as in similar languages...
99
Voted
MMM
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. In this paper, we present a generic 3-D modeling for analyzing court-net sports videos, which enables to map points in the real-world coordinates to the image coordinates...
89
Voted
ER
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. We present an approach to support incremental navigation of structured information, where the structure is introduced by the data model and schema (if present) of a data ...
108
click to vote
NLDB
2004
Springer
15 years 6 months ago
2004
Springer
Human interaction occurs always in a specific context and in a particular environment, and a common knowledge base about them is essential for understanding each other. By immersi...