Sciweavers

3280 search results - page 199 / 656
» Design Families and Design Individuals
Sort
View
DCC
2007
IEEE
16 years 6 months ago
ID-based cryptography using symmetric primitives
A general method for deriving an identity-based public key cryptosystem from a one-way function is described. We construct both ID-based signature schemes and ID-based encryption ...
Chris J. Mitchell, Fred Piper, Peter R. Wild
ICRA
2006
IEEE
105views Robotics» more  ICRA 2006»
16 years 22 days ago
Towards Automated Gait Generation for Dynamic Systems with Non-holonomic Constraints
— In this paper we generate gaits for dynamics systems that are subject to non-holonomic velocity constraints. These systems are referred to as mixed non-holonomic systems. The m...
Elie A. Shammas, Howie Choset, Alfred A. Rizzi
ICRA
2006
IEEE
175views Robotics» more  ICRA 2006»
16 years 22 days ago
Software Components and Frameworks for Medical Robot Control
— Robots are increasingly being used in Computer Integrated Surgery (CIS) systems, yet to our knowledge, there is no open source software that is specifically targeted at this a...
Ankur Kapoor, Anton Deguet, Peter Kazanzides
ISCAS
2006
IEEE
103views Hardware» more  ISCAS 2006»
16 years 22 days ago
A low-power geometric mapping co-processor for high-speed graphics application
Abstract— In this article we present a novel design of a lowpower geometric mapping co-processor that can be used for high-performance graphics system. The processor can carry ou...
S. Leeke, L. Maharatna
ECOOP
2003
Springer
15 years 12 months ago
A Nominal Theory of Objects with Dependent Types
We design and study νObj, a calculus and dependent type system for objects and classes which can have types as members. Type can be aliases, abstract types, or new types. The type...
Martin Odersky, Vincent Cremet, Christine Röc...