3238 search results - page 339 / 648 » Not Enough Points Is Enough |
178
click to vote
HVC
2005
Springer
16 years 8 days ago
2005
Springer
We present several algorithms for simultaneous SAT (propositional satisfiability) based model checking of safety properties. More precisely, we focus on Bounded Model Checking and ...
179
click to vote
IBPRIA
2005
Springer
16 years 8 days ago
2005
Springer
In this paper we approach the problem of fast surface grading of flat pieces decorated with random patterns. The proposed method is based on the use of global statistics of color ...
181
click to vote
ICANN
2005
Springer
16 years 8 days ago
2005
Springer
Abstract. In practice, almost all control systems in use today implement some form of linear control. However, there are many tasks for which conventional control engineering metho...
136
click to vote
ICANN
2005
Springer
16 years 8 days ago
2005
Springer
The efficacy of two evolutionary approaches to the problem of generation of heuristical linear and non-linear evaluation functions in the game of give-away checkers is tested in th...
218
click to vote
ICCS
2005
Springer
16 years 8 days ago
2005
Springer
The Semantic Web is a significant improvement of the original World Wide Web. It models shared meanings with ontologies, and uses these to provide many different kinds of web servi...