4103 search results - page 194 / 821 » Some results on the Collatz problem |
149
Voted
DCC
2004
IEEE
16 years 6 months ago
2004
IEEE
A new notion, that of semi-lossless text compression, is introduced, and its applicability in various settings is investigated. First results suggest that it might be hard to explo...
171
click to vote
GRC
2005
IEEE
16 years 9 days ago
2005
IEEE
In this paper, we propose a linear control model for gene intervention in a genetic regulatory network. At each time step, finite controls are allowed to drive the network states...
170
click to vote
CP
2006
Springer
15 years 10 months ago
2006
Springer
The problem of finding a graceful labelling of a graph, or proving that the graph is not graceful, has previously been modelled as a CSP. A new and much faster CSP model of the pro...
162
click to vote
EURODAC
1995
IEEE
15 years 10 months ago
1995
IEEE
Computing equivalence classes for FSMs has several applications to synthesis and veri cation problems. Symbolic traversal techniques are applicable to medium-small circuits. This ...
177
click to vote
AMW
2010
15 years 8 months ago
2010
Abstract. Consistent query answering (CQA) is about formally characterizing and computing semantically correct answers to queries posed to a database that may fail to satisfy certa...