3388 search results - page 440 / 678 » Type-theoretic design patterns |
168
click to vote
JANCL
2002
15 years 6 months ago
2002
We investigate the major mathematical theories of space from a modal standpoint: topology, affine geometry, metric geometry, and vector algebra. This allows us to see new fine-str...
177
click to vote
JIIS
1998
15 years 6 months ago
1998
The explosive growth in the availability of information is overwhelming traditional information management systems. Although individual pieces of information have become easy to ï¬...
200
click to vote
TSE
1998
15 years 6 months ago
1998
—The main goal of this work is to propose a method to evaluate user interfaces using task models and logs generated from a user test of an application. The method can be incorpor...
151
click to vote
SAC
2008
ACM
15 years 6 months ago
2008
ACM
In this paper we provide a study about crime scenes and its features used in criminal investigations. We argue that the crime scene provides a large set of features that can be us...
181
click to vote
ICCHP
2010
Springer
15 years 5 months ago
2010
Springer
Current Automatic Speech Recognition (ASR) systems designed to recognize dysarthric speech require an investment in training that involves considerable effort and must be repeated ...