7393 search results - page 960 / 1479 » Synthesis-for-testability using transformations |
173
click to vote
TCS
2008
15 years 6 months ago
2008
A suffix vector of a string is an index data structure equivalent to a suffix tree. It was first introduced by Monostori et al. in 2001 [9, 10, 11]. They proposed a linear constru...
148
Voted
TFS
2008
15 years 6 months ago
2008
We propose a fuzzy qualitative (FQ) version of robot kinematics with the goal of bridging the gap between symbolic or qualitative functions and numerical sensing and control tasks...
151
click to vote
IVC
2007
15 years 6 months ago
2007
This paper tackles the problem of the computation of a planar polygonal curve from a digital planar curve, such that the digital data can be exactly retrieved from the polygonal c...
183
click to vote
TLT
2008
15 years 6 months ago
2008
Abstract--Web-based video collaboration environments have transformative potentials for video-enhanced education and for videobased research studies. We first describe DIVER, a pla...
239
click to vote
TSMC
2008
15 years 6 months ago
2008
This paper proposes a new perspective for solving systems of complex nonlinear equations by simply viewing them as a multiobjective optimization problem. Every equation in the syst...