2652 search results - page 76 / 531 » Path Differentials and Applications |
106
click to vote
ISCAS
2005
IEEE
15 years 9 months ago
2005
IEEE
— A phase-locked loop (PLL) with two different delay feedback paths is presented. It provides a new approach to minimize the dead zone, jitter accumulation, long settling time an...
186
Voted
CGIM
2003
15 years 5 months ago
2003
We propose a novel method for the problem of 3D surface mesh segmentation. This mesh segmentation method is based on differential geometry and geodesic distance information. In ou...
141
click to vote
ISSRE
2006
IEEE
15 years 10 months ago
2006
IEEE
BPEL is a language that could express complex concurrent behaviors. This paper presents a novel method of BPEL test case generation, which is based on concurrent path analysis. Th...
145
click to vote
ATVA
2008
Springer
15 years 6 months ago
2008
Springer
The evaluation of successor or predecessor state spaces through time progress is a central component in the model-checking algorithm of dense-time automata. The definition of the t...
127
click to vote
JASIS
2000
15 years 3 months ago
2000
Digital libraries need to facilitate the use of digital information in a variety of settings. One approach to making information useful is to enable its application to situations ...