Sciweavers

2593 search results - page 110 / 519
» On Two Problems of Nano-PLA Design
Sort
View
INFORMS
1998
150views more  INFORMS 1998»
14 years 9 months ago
Branch and Infer: A Unifying Framework for Integer and Finite Domain Constraint Programming
constraint abstractions into integer programming, and to discuss possible combinations of the two approaches. Combinatorial problems are ubiquitous in many real world applications ...
Alexander Bockmayr, Thomas Kasper
CRYPTO
2008
Springer
165views Cryptology» more  CRYPTO 2008»
14 years 12 months ago
Efficient Secure Linear Algebra in the Presence of Covert or Computationally Unbounded Adversaries
In this work we study the design of secure protocols for linear algebra problems. All current solutions to the problem are either inefficient in terms of communication complexity o...
Payman Mohassel, Enav Weinreb
ACTA
2007
96views more  ACTA 2007»
14 years 10 months ago
Recursive Petri nets
Abstract. In order to design and analyse complex systems, modelers need formal models with two contradictory requirements: a high expressivity and the decidability of behavioural p...
Serge Haddad, Denis Poitrenaud
AROBOTS
2005
55views more  AROBOTS 2005»
14 years 10 months ago
Nonlinear Control for the Dual Smart Drive Using Backstepping and a Time-Optimal Reference
The Dual Smart Drive is a specially designed nonlinear actuator intended for use in climbing and walking legged robots. It features a continuously changing transmission ratio and d...
Roemi Fernández, João Pedro Hespanha...
CCR
2004
164views more  CCR 2004»
14 years 10 months ago
A taxonomy of DDoS attack and DDoS defense mechanisms
Distributed denial-of-service (DDoS) is a rapidly growing problem. The multitude and variety of both the attacks and the defense approaches is overwhelming. This paper presents tw...
Jelena Mirkovic, Peter L. Reiher