Sciweavers

11121 search results - page 97 / 2225
» Computing with Continuous Change
Sort
View
CCA
2009
Springer
15 years 10 months ago
Uniqueness, Continuity, and Existence of Implicit Functions in Constructive Analysis
We extract a quantitative variant of uniqueness from the usual hypotheses of the implicit functions theorem. This leads not only to an a priori proof of continuity, but also to an ...
Hannes Diener, Peter Schuster
BIRTHDAY
2008
Springer
15 years 6 months ago
Checking Temporal Properties of Discrete, Timed and Continuous Behaviors
We survey some of the problems associated with checking whether a given behavior (a sequence, a Boolean signal or a continuous signal) satisfies a property specified in an appropri...
Oded Maler, Dejan Nickovic, Amir Pnueli
COMPUTING
2006
127views more  COMPUTING 2006»
15 years 4 months ago
PHoMpara - Parallel Implementation of the Polyhedral Homotopy Continuation Method for Polynomial Systems
The polyhedral homotopy continuation method is known to be a successful method for finding all isolated solutions of a system of polynomial equations. PHoM, an implementation of t...
T. Gunji, S. Kim, K. Fujisawa, M. Kojima
ICRA
2008
IEEE
157views Robotics» more  ICRA 2008»
15 years 10 months ago
Impact of workspace decompositions on discrete search leading continuous exploration (DSLX) motion planning
Abstract— We have recently proposed DSLX, a motion planner that significantly reduces the computational time for solving challenging kinodynamic problems by interleaving continu...
Erion Plaku, Lydia E. Kavraki, Moshe Y. Vardi
SIGGRAPH
2010
ACM
15 years 8 months ago
Video tapestries with continuous temporal zoom
We present a novel approach for summarizing video in the form of a multiscale image that is continuous in both the spatial domain and across the scale dimension: There are no hard...
Connelly Barnes, Dan B. Goldman, Eli Shechtman, Ad...