4255 search results - page 153 / 851 » Cover |
127
click to vote
CSFW
2005
IEEE
15 years 10 months ago
2005
IEEE
We consider expansions of the Abadi-Rogaway logic of indistinguishability of formal cryptographic expressions. We expand the logic in order to cover cases when partial information...
154
click to vote
ICRA
2005
IEEE
15 years 10 months ago
2005
IEEE
— We propose a new method of tactile sensing for a fingertip of robotic hand. Using a simple fingertip with soft surface cover and a six-axis force/torque sensor, developed is ...
125
click to vote
ICALP
2005
Springer
15 years 10 months ago
2005
Springer
We define an algorithmic paradigm, the stack model, that captures many primal-dual and local-ratio algorithms for approximating covering and packing problems. The stack model is ...
112
click to vote
SIGCSE
2004
ACM
15 years 9 months ago
2004
ACM
We describe the instructional software JFLAP 4.0 and how it can be used to provide a hands-on formal languages and automata theory course. JFLAP 4.0 doubles the number of chapters...
136
click to vote
ICDAR
2003
IEEE
15 years 9 months ago
2003
IEEE
In the frame of a Unified Messaging System, a crucial task of the system is to provide the user with key information on every message received, like keywords reflecting the object...