2200 search results - page 181 / 440 » Bloch's Constant is Computable |
138
click to vote
FUIN
2002
15 years 6 months ago
2002
One-way and two-way cellular language acceptors with restricted nondeterminism are investigated. The number of nondeterministic state transitions is regarded as limited resource wh...
171
click to vote
CSUR
1999
15 years 6 months ago
1999
useful for optimizing compilers [15], partial evaluators [11], abstract debuggers [1], models-checkers [2], formal verifiers [13], etc. The difficulty of the task comes from the fa...
174
click to vote
SAC
2008
ACM
15 years 6 months ago
2008
ACM
The ability to infer parameters of gene regulatory networks is emerging as a key problem in systems biology. The biochemical data are intrinsically stochastic and tend to be observ...
149
click to vote
DCC
2010
IEEE
15 years 5 months ago
2010
IEEE
This work proposes a novel practical and general-purpose lossless compression algorithm named Neural Markovian Predictive Compression (NMPC), based on a novel combination of Bayesi...
285
click to vote
DIS
2010
Springer
15 years 5 months ago
2010
Springer
Micro-blogs are a challenging new source of information for data mining techniques. Twitter is a micro-blogging service built to discover what is happening at any moment in time, a...