4218 search results - page 451 / 844 » Complete sets of cooperations |
182
click to vote
CDC
2009
IEEE
15 years 11 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 ...
223
click to vote
NLDB
2010
Springer
15 years 11 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...
200
click to vote
CIRA
2007
IEEE
15 years 11 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,...
199
click to vote
DBPL
2007
Springer
15 years 11 months ago
2007
Springer
Inclusion between XML types is important but expensive, and is much more expensive when unordered types are considered. We prove here that inclusion for XML types with interleavin...
191
click to vote
HPCS
2009
IEEE
15 years 11 months ago
2009
IEEE
We report efficient implementation techniques for FFT-based dense multivariate polynomial arithmetic over finite fields, targeting multi-cores. We have extended a preliminary study...