Sciweavers

18429 search results - page 305 / 3686
» Typing dynamic typing
Sort
View
APLAS
2006
ACM
16 years 20 days ago
Type Processing by Constraint Reasoning
Peter J. Stuckey, Martin Sulzmann, Jeremy Wazny
ETRA
2006
ACM
102views Biometrics» more  ETRA 2006»
16 years 20 days ago
A comparative usability study of two Japanese gaze typing systems
Kenji Itoh, Hirotaka Aoki, John Paulin Hansen
SAC
2006
ACM
16 years 19 days ago
Aspect-specification based on structural type information
Stefan Hanenberg, Mohammed Al-Mansari, Rainer Unla...
ANSS
2005
IEEE
16 years 9 days ago
Approximation of Discrete Phase-Type Distributions
The analysis of discrete stochastic models such as generally distributed stochastic Petri nets can be done using state space-based methods. The behavior of the model is described ...
Claudia Isensee, Graham Horton