10435 search results - page 1900 / 2087 » Computational Biology and Language |
179
click to vote
CC
2007
Springer
16 years 24 days ago
2007
Springer
As the amount of data used by programs increases due to the growth of hardware storage capacity and computing power, efficient memory usage becomes a key factor for performance. Si...
135
click to vote
CIE
2007
Springer
16 years 23 days ago
2007
Springer
The interest is in characterizing insightfully the power of program self-reference in effective programming systems (epses), the computability-theoretic analogs of programming lan...
139
click to vote
CONCUR
2007
Springer
16 years 23 days ago
2007
Springer
Abstract. When dealing with process calculi and automata which express both nondeterministic and probabilistic behavior, it is customary to introduce the notion of scheduler to res...
172
click to vote
CP
2007
Springer
16 years 23 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...
156
click to vote
CP
2007
Springer
16 years 23 days ago
2007
Springer
Shaving and constructive disjunction are two main refutation principles used in constraint programming. The shaving principle allows us to compute the singleton arc-consistency (SA...