8699 search results - page 1447 / 1740 » Elements of the Theory of Computation |
176
click to vote
CP
2007
Springer
16 years 28 days ago
2007
Springer
Symmetry is an important factor in solving many constraint satisfaction problems. One common type of symmetry is when we have symmetric values. We can eliminate such value symmetr...
192
Voted
DNA
2007
Springer
16 years 27 days ago
2007
Springer
While algorithmic DNA self-assembly is, in theory, capable of forming complex patterns, its experimental demonstration has been limited by significant assembly errors. In this pa...
184
click to vote
ECML
2007
Springer
16 years 27 days ago
2007
Springer
The stability of sample based algorithms is a concept commonly used for parameter tuning and validity assessment. In this paper we focus on two well studied algorithms, LSI and PCA...
179
click to vote
ECSQARU
2007
Springer
16 years 27 days ago
2007
Springer
Abstract. The Transferable Belief Model (TBM) relies on belief functions and enables one to represent and combine a variety of knowledge from certain up to ignorance as well as con...
171
click to vote
FCT
2007
Springer
16 years 27 days ago
2007
Springer
Abstract. We introduce a uniform framework for reasoning about infinitestate systems with unbounded control structures and unbounded data domains. Our framework is based on constr...