2949 search results - page 355 / 590 » Universal Sparse Modeling |
FATES
2004
Springer
15 years 4 months ago
2004
Springer
Abstract. Classical state-oriented testing approaches are based on simple machine models such as Labelled Transition Systems (LTSs), in which data is represented by concrete values...
109
click to vote
TYPES
2000
Springer
15 years 4 months ago
2000
Springer
We describe a construction of the real numbers carried out in the Coq proof assistant. The basis is a set of axioms for the constructive real numbers as used in the FTA (Fundamenta...
91
Voted
WSC
2008
15 years 3 months ago
2008
This study evaluates appointment systems used in hospitals by incorporating appointment rules and patient characteristics. Using an experiment unit at an internal medicine departm...
96
Voted
CIE
2008
Springer
15 years 2 months ago
2008
Springer
d abstract) John Longley Laboratory for Foundations of Computer Science School of Informatics, University of Edinburgh The King's Buildings, Mayfield Road Edinburgh EH9 3JZ, U...
104
Voted
ICALT
2007
IEEE
15 years 2 months ago
2007
IEEE
In order to analyze the factors that raise the motivation of students in the art design faculty and digital design faculty to learn programming, a programming course using Process...