2062 search results - page 309 / 413 » Derivatives of Logical Formulas |
173
click to vote
CIVR
2008
Springer
15 years 7 months ago
2008
Springer
Recent content-based video retrieval systems combine output of concept detectors (also known as high-level features) with text obtained through automatic speech recognition. This ...
150
click to vote
AES
2008
Springer
15 years 6 months ago
2008
Springer
Artificial neural networks (ANN's) are associated with difficulties like lack of success in a given problem and unpredictable level of accuracy that could be achieved. In eve...
150
click to vote
ALGORITHMICA
2010
15 years 6 months ago
2010
When algorithms for sorting and searching are applied to keys that are represented as bit strings, we can quantify the performance of the algorithms not only in terms of the numbe...
180
click to vote
COMBINATORICS
2002
15 years 5 months ago
2002
: We generalize the notion of pattern avoidance to arbitrary functions on ordered sets, and consider specifically three scenarios for permutations: linear, cyclic and hybrid, the f...
147
click to vote
IFM
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. We present a fixpoint semantics of event systems. The semantics is presented in a general framework without concerns of fairness. Soundness and completeness of rules for...