Sciweavers

4047 search results - page 110 / 810
» The Discrete Basis Problem
Sort
View
ATVA
2006
Springer
191views Hardware» more  ATVA 2006»
15 years 4 months ago
Automatic Verification of Hybrid Systems with Large Discrete State Space
We address the problem of model checking hybrid systems which exhibit nontrivial discrete behavior and thus cannot be treated by considering the discrete states one by one, as most...
Werner Damm, Stefan Disch, Hardi Hungar, Jun Pang,...
167
Voted
PAMI
2011
14 years 7 months ago
Dynamic Programming and Graph Algorithms in Computer Vision
Optimization is a powerful paradigm for expressing and solving problems in a wide range of areas, and has been successfully applied to many vision problems. Discrete optimization ...
Pedro F. Felzenszwalb, Ramin Zabih
106
Voted
CRYPTO
1998
Springer
105views Cryptology» more  CRYPTO 1998»
15 years 4 months ago
An Efficient Discrete Log Pseudo Random Generator
The exponentiation function in a finite field of order p (a prime number) is believed to be a one-way function. It is well known that O(log log p) bits are simultaneously hard for ...
Sarvar Patel, Ganapathy S. Sundaram
IROS
2006
IEEE
93views Robotics» more  IROS 2006»
15 years 6 months ago
General Kinematic Synthesis Method for a Discretely Actuated Robotic Manipulator (D-ARM)
— A “Discretely Actuated Robotic Manipulator”, or “D-ARM”, is any member of a class of robotic manipulators powered by actuators that have only discrete positional stable...
Keizo Miyahara, Gregory S. Chirikjian
TIME
1994
IEEE
15 years 4 months ago
Belief Revision in a Discrete Temporal Probability-Logic
We describe a discrete time probabilitylogic for use as the representation language of a temporal knowledge base. In addition to the usual expressive power of a discrete temporal ...
Scott D. Goodwin, Howard J. Hamilton, Eric Neufeld...