9888 search results - page 182 / 1978 » compute 2009 |
172
Voted
CADE
2009
Springer
16 years 6 months ago
2009
Springer
In the symbolic analysis of security protocols, two classical notions of knowledge, deducibility and indistinguishability, yield corresponding decision problems. We propose a proce...
139
Voted
BSN
2009
IEEE
16 years 29 days ago
2009
IEEE
— A method to fabricate circuits on the cloth, planar fashionable circuit board (P-FCB), is proposed. And its applications such as fabric passive elements, user I/O interface, an...
166
click to vote
IROS
2009
IEEE
16 years 24 days ago
2009
IEEE
— We present a general method for integrating visual components into a multi-modal cognitive system. The integration is very generic and can work with an arbitrary set of modalit...
147
Voted
EDUTAINMENT
2009
Springer
16 years 21 days ago
2009
Springer
This paper investigates how graphically displayed intelligent virtual actors, mobile devices and innovative interaction modalities can support and enhance educational role-play as ...
139
Voted
IWOCA
2009
Springer
16 years 21 days ago
2009
Springer
The notion of submodular partition functions generalizes many of well-known tree decompositions of graphs. For fixed k, there are polynomial-time algorithms to determine whether ...