464 search results - page 5 / 93 » Enjoy the Paper: Lexicology |
129
click to vote
DATE
2005
IEEE
15 years 11 months ago
2005
IEEE
Abstract: With the increasing complexity of memory behavior, attempts are being made to come up with a methodical approach that employs electrical simulation to tackle the memory t...
159
click to vote
ISORC
2005
IEEE
15 years 11 months ago
2005
IEEE
Heuristic algorithms have enjoyed increasing interests and success in the context of Utility Accrual (UA) scheduling. However, few analytical results, such as bounds on task-level...
174
click to vote
TLCA
2005
Springer
15 years 11 months ago
2005
Springer
Cut elimination is a central result of the proof theory. This paper proposes a new approach for proving the theorem for Gentzen’s intuitionistic sequent calculus LJ, that relies ...
125
click to vote
ICALT
2003
IEEE
15 years 11 months ago
2003
IEEE
This paper describes a study that investigates the use of a multimodal technology in a learning task. In relation to the recent interest in learning as a multimodal experience, th...
140
click to vote
ISMAR
2003
IEEE
15 years 11 months ago
2003
IEEE
This paper describes a Mixed Reality installation named Jellyfish Party, for enjoying playing with soap bubbles. A special feature of this installation is the use of a spirometer s...