5638 search results - page 383 / 1128 » On presence |
165
click to vote
GLVLSI
2010
IEEE
15 years 11 months ago
2010
IEEE
In this paper, we investigate dual applications for logic implications, which can provide both online error detection capabilities and improve the testing efficiency of an integr...
178
Voted
EUROCRYPT
2010
Springer
15 years 11 months ago
2010
Springer
We analyze the relation between induction, co-induction and the presence of encryption cycles in the context of computationally sound symbolic equivalence of cryptographic express...
172
Voted
ITS
2010
Springer
15 years 11 months ago
2010
Springer
We investigate whether four metacognitive metrics derived from student correctness and uncertainty values are predictive of student learning in a fully automated spoken dialogue co...
167
Voted
CDC
2009
IEEE
15 years 11 months ago
2009
IEEE
— This paper bridges the advances in computer science and control to allow automatic synthesis of control strategies for complex dynamical systems which are guaranteed, by constr...
176
Voted
CDC
2009
IEEE
15 years 11 months ago
2009
IEEE
— We present a near-optimal deterministic filter for systems that evolve on the unit circle. Unlike suboptimal filtering algorithms that rely on approximations of the system, t...