1469 search results - page 127 / 294 » Discretization of a Continuous Curve |
144
click to vote
SI3D
1995
ACM
15 years 8 months ago
1995
ACM
A system for controlling the behaviors of an interactive human-like agent, and executing them in real-time, is presented. It relies on an underlying model of continuous behavior, ...
124
click to vote
APAL
2006
15 years 4 months ago
2006
Given a space X, J in an elementary submodel M of H(), define XM to be X M with the topology generated by {U M : U J M}. It is established, using anti-large-cardinals assumptio...
JCT
2011
14 years 11 months ago
2011
Two well-known q-Hermite polynomials are the continuous and discrete q-Hermite polynomials. In this paper we consider a new family of q-Hermite polynomials and prove several curiou...
147
click to vote
CAV
2012
Springer
13 years 7 months ago
2012
Springer
Abstract. In formal verification of hybrid systems, a big challenge is to incorporate continuous flow dynamics in a discrete framework. Our previous work proposed to use nonstand...
147
click to vote
ICIP
2008
IEEE
16 years 6 months ago
2008
IEEE
This paper deals with edge detection and vertex characterization of 3D meshes. First, a new measure is introduced, the saliency degree, which provide directly the shape informatio...