2597 search results - page 256 / 520 » On numbers of Davenport-Schinzel sequences |
156
click to vote
NFM
2011
14 years 8 months ago
2011
A main idea underlying bounded model checking is to limit the length of the potential counter-examples, and then prove properties for the bounded version of the problem. In softwar...
144
Voted
TSP
2011
14 years 8 months ago
2011
—Many complex dynamical phenomena can be effectively modeled by a system that switches among a set of conditionally linear dynamical modes. We consider two such models: the switc...
122
Voted
TCBB
2010
14 years 8 months ago
2010
Abstract-The discovery of motifs in biosequences is frequently torn between the rigidity of the model on the one hand and the abundance of candidates on the other. In particular, m...
114
Voted
TSP
2010
14 years 8 months ago
2010
The problem of detecting multi-hop information flows subject to communication constraints is considered. In a distributed detection scheme, eavesdroppers are deployed near nodes in...
121
click to vote
COGCOM
2011
14 years 8 months ago
2011
Although the mechanisms of human visual understanding remain partially unclear, computational models inspired by existing knowledge on human vision have emerged and applied to seve...