7167 search results - page 1176 / 1434 » A Technique for Invariant Generation |
196
click to vote
CORR
2008
Springer
15 years 7 months ago
2008
Springer
We describe Haskell implementations of interesting combinatorial generation algorithms with focus on boolean functions and logic circuit representations. First, a complete exact c...
209
click to vote
CORR
2008
Springer
15 years 7 months ago
2008
Springer
In this paper, we discuss the issues in automatic recognition of vowels in Persian language. The present work focuses on new statistical method of recognition of vowels as a basic...
197
click to vote
CORR
2008
Springer
15 years 7 months ago
2008
Springer
Kaltofen has proposed a new approach in (Kaltofen, 1992) for computing matrix determinants without divisions. The algorithm is based on a baby steps/giant steps construction of Kr...
189
click to vote
AIL
2006
15 years 7 months ago
2006
We describe research carried out as part of a text summarisation project for the legal domain for which we use a new XML corpus of judgments of the UK House of Lords. These judgmen...
204
click to vote
ENGL
2008
15 years 7 months ago
2008
The objective herein is to demonstrate the feasibility of a real-time digital control of an inverted pendulum for modeling and control, with emphasis on nonlinear auto regressive m...