3172 search results - page 462 / 635 » On the Random-Self-Reducibility of Complete Sets |
159
click to vote
ACSD
2007
IEEE
15 years 10 months ago
2007
IEEE
Synthesis of asynchronous circuits from Signal Transition Graphs (STGs) involves resolution of state encoding conflicts by means of refining the STG specification. In this paper, ...
154
click to vote
CAIP
2007
Springer
15 years 10 months ago
2007
Springer
This paper describes a technique for the representation of the 2D frontal view of faces, based on Catmull-Rom splines. It takes advantage of the a priori knowledge about the face s...
148
click to vote
CDC
2009
IEEE
15 years 10 months ago
2009
IEEE
In this paper, we analyze the verification of K-step opacity in discrete event systems that are modeled as (possibly non-deterministic) finite automata with partial observation on ...
192
click to vote
NLDB
2010
Springer
15 years 10 months ago
2010
Springer
During the last few years, a lot of researches have focused on automatic definition extraction in the context of question answering systems. Although, these researches have been co...
170
click to vote
CIRA
2007
IEEE
15 years 10 months ago
2007
IEEE
This article presents an approach to Programming by Demonstration (PbD) to simplify programming of industrial manipulators. By using a set of task primitives for a known task type,...