464 search results - page 5 / 93 » Enjoy the Paper: Lexicology |
DATE
2005
IEEE
15 years 3 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...
ISORC
2005
IEEE
15 years 3 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...
TLCA
2005
Springer
15 years 3 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 ...
ICALT
2003
IEEE
15 years 2 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...
73
Voted
ISMAR
2003
IEEE
15 years 2 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...