809 search results - page 51 / 162 » Intelligent Vision Processor |
114
click to vote
SUTC
2008
IEEE
15 years 9 months ago
2008
IEEE
As the robotic industry is growing boomingly, the functionalities and system's architecture of robots are more and more complex. The development of robotic application system...
109
Voted
AUSAI
2008
Springer
15 years 4 months ago
2008
Springer
This paper introduces the controlled natural language PENG Light together with a language processor that is based on a bidirectional grammar. The language processor has the followi...
126
Voted
AI
2002
Springer
15 years 2 months ago
2002
Springer
We describe a novel parallel randomized search algorithm for two-player games. The algorithm is a randomized version of Korf and Chickering's best-first search. Randomization...
120
click to vote
AISC
2004
Springer
15 years 8 months ago
2004
Springer
The equality logic with uninterpreted functions (EUF) has been proposed for processor verification. A procedure for proving satisfiability of formulas in this logic is introduced...
111
click to vote
WIA
2000
Springer
15 years 6 months ago
2000
Springer
Abstract. In 6], G. Myers describes a bit-vector algorithm to compute the edit distance between strings. The algorithm converts an input sequence to an output sequence in a paralle...