4255 search results - page 153 / 851 » Cover |
161
click to vote
CSFW
2005
IEEE
16 years 17 days 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...
188
Voted
ICRA
2005
IEEE
16 years 16 days 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 ...
155
click to vote
ICALP
2005
Springer
16 years 14 days 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 ...
154
click to vote
SIGCSE
2004
ACM
16 years 11 days 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...
184
click to vote
ICDAR
2003
IEEE
16 years 7 days 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...