1249 search results - page 126 / 250 » Limitations of the Even-Mansour Construction |
120
click to vote
PTS
2000
15 years 2 months ago
2000
Systems constructed from components, including distributed systems, consist of a number of elements that interact with each other. As the number of network elements or interchangea...
96
Voted
FORTE
1990
15 years 2 months ago
1990
This paper describes a decision procedure for bisimulation-based equivalence relations between labeled transition systems. The algorithm usually performed in order to verify bisim...
107
click to vote
TREC
2007
15 years 2 months ago
2007
Abstract. The Robert Gordon University (RGU) participated in the Opinion Retrieval Task of the Trec 2007 Blog Track. At the core of the system we developed is a set of training doc...
200
click to vote
BDA
2007
15 years 2 months ago
2007
In content-based retrieval, relevance feedback (RF) is a noticeable method for reducing the “semantic gap” between the low-level features describing the content and the usually...
AROBOTS
2008
15 years 1 months ago
2008
This paper addresses the modeling of the static and dynamic parts of the scenario and how to use this information with a sensor-based motion planning system. The contribution in th...