7529 search results - page 380 / 1506 » The Modula-3 Type System |
157
click to vote
TABLEAUX
1998
Springer
15 years 11 months ago
1998
Springer
The FaCT (Fact and Concept Training) System provides a general platform for delivering practice in the form of discrete flashcard-like drills. The system optimizes practice schedu...
142
click to vote
ISSS
1997
IEEE
15 years 11 months ago
1997
IEEE
Given a hardware/software partitioned specification and an allocation (number and type) of processors, we present an algorithm to (1) map each of the software behaviors (or tasks...
217
click to vote
SSDBM
1994
IEEE
15 years 11 months ago
1994
IEEE
The analysis of time series is a central issue in economic research and many other scientific applications. However, the data management functionality for this field is not provid...
189
click to vote
COST
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. We propose a novel approach for on-line signature verification based on building HMM user models by adapting an ergodic Universal Background Model (UBM). State initializa...
192
click to vote
ECOOPWEXCEPTION
2000
Springer
15 years 10 months ago
2000
Springer
This paper motivates and presents the specification and the implementation of an exception handling system for an dynamically typed object-oriented language. A full object-oriented...