997 search results - page 100 / 200 » Decision-Theoretic User Interface Generation |
137
click to vote
JAR
2010
15 years 3 months ago
2010
Abstract. In this paper we propose an effective procedure for translating a proof term of the Calculus of Inductive Constructions (CIC), which is very similar to a program written...
142
click to vote
KDD
2002
ACM
16 years 4 months ago
2002
ACM
In the last several years, large OLAP databases have become common in a variety of applications such as corporate data warehouses and scientific computing. To support interactive ...
153
click to vote
ICCD
2006
IEEE
16 years 1 months ago
2006
IEEE
By integrating one or more (hard or soft) CPU core on the chip, new generation platform FPGAs have become configurable systems on a chip (CSoC) that support a combined software an...
128
click to vote
ICMI
2004
Springer
15 years 10 months ago
2004
Springer
When talking about spatial domains, humans frequently accompany their explanations with iconic gestures to depict what they are referring to. For example, when giving directions, ...
147
click to vote
ITNG
2010
IEEE
15 years 9 months ago
2010
IEEE
—There are several institutions that accredit educational programs and require documentation to ensure that an educational program regularly meets certain criteria. This paper fo...