1973 search results - page 309 / 395 » The Construction of Ludic Space |
169
click to vote
SAT
2010
Springer
15 years 10 months ago
2010
Springer
Abstract. We introduce a new conceptual model for representing and designing Stochastic Local Search (SLS) algorithms for the propositional satisfiability problem (SAT). Our model...
168
click to vote
ACSD
2004
IEEE
15 years 10 months ago
2004
IEEE
The behaviour of asynchronous circuits is often described by Signal Transition Graphs (STGs), which are Petri nets whose transitions are interpreted as rising and falling edges of...
151
click to vote
APWEB
2006
Springer
15 years 10 months ago
2006
Springer
In this demo, we present a method called LocalRank to rank web pages. Our method integrates the web and a local user database with semantic links including geographical ones. We fi...
177
click to vote
CGI
2004
IEEE
15 years 10 months ago
2004
IEEE
In recent years several methods for modeling botanical trees have been proposed. The geometry and topology of tree skeletons can be well described by L-systems; however, there are...
177
click to vote
CSB
2004
IEEE
15 years 10 months ago
2004
IEEE
Feature selection and weighting are central problems in pattern recognition and instance-based learning. In this work, we discuss the challenges of constructing and weighting feat...