4413 search results - page 164 / 883 » New Directions for CACM |
147
click to vote
IV
2006
IEEE
16 years 1 days ago
2006
IEEE
Current database technologies do not support contextualised representations of multi-dimensional narratives. This paper outlines a new approach to this problem using a multi-dimen...
158
click to vote
ACSC
2005
IEEE
15 years 11 months ago
2005
IEEE
This paper introduces a novel approach towards direct interaction with large display systems. Monocular computer vision is utilised to avoid restraints imposed by input devices. T...
133
click to vote
MEMOCODE
2005
IEEE
15 years 11 months ago
2005
IEEE
The SystemVerilog standard introduces SystemVerilog Assertions (SVA), a synchronous assertion package based on the temporal-logic semantics of PSL. Traditionally assertions are ch...
175
click to vote
CHES
2005
Springer
15 years 11 months ago
2005
Springer
In this paper, we propose new models for directly evaluating DPA leakage from logic information in CMOS circuits. These models are based on the transition probability for each gate...
157
click to vote
ILP
2005
Springer
15 years 11 months ago
2005
Springer
In this paper, we focus on the problem of learning reactive skills for use by physical agents. We propose a new representation for such procedures, teleoreactive logic programs, al...