246 search results - page 22 / 50 » A novel approach to symbolic algebra |
156
click to vote
CIKM
2005
Springer
15 years 11 months ago
2005
Springer
Our previous work on road detection suggests the usage of prior knowledge in order to improve performance. In this paper we will explain our motivation for a novel approach, defin...
195
click to vote
ATVA
2006
Springer
15 years 9 months ago
2006
Springer
Abstract. Model-checking alternating-time properties has recently attracted much interest in the verification of distributed protocols. While checking the validity of a specificati...
159
click to vote
IJCINI
2007
15 years 6 months ago
2007
The Cognitive Processes of Abstraction and Formal Inferences J. A. Anderson: A Brain-Like Computer for Cognitive Software Applications: the Resatz Brain Project L. Flax: Cognitive ...
168
click to vote
DATE
1999
IEEE
15 years 10 months ago
1999
IEEE
A novel approach to testing sequential circuits that uses multi-level decision diagram representations is introduced. The proposed algorithm consists of a combination of scanning ...
159
click to vote
GIAE
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. The RifSimp package in Maple transforms a set of differential equations to Reduced Involutive Form. This paper describes the application of RifSimp to challenging real-w...