2032 search results - page 172 / 407 » Encodings of the Sequence Constraint |
151
click to vote
DEDS
2010
15 years 3 months ago
2010
Abstract We present an optimal timing control formulation for the problem of controlling autonomous puppets. In particular, by appropriately timing the different movements, entire ...
205
click to vote
TCBB
2008
15 years 6 months ago
2008
Abstract-- Many statistical measures and algorithmic techniques have been proposed for studying residue coupling in protein families. Generally speaking, two residue positions are ...
151
click to vote
ICPR
2004
IEEE
16 years 7 months ago
2004
IEEE
In this paper a method for shape estimation and structure extension of a surface using information from specularities is proposed. The structure of the scene is obtained from an i...
163
click to vote
IDEAS
2007
IEEE
16 years 24 days ago
2007
IEEE
The transversal hypergraph enumeration based algorithms can be efficient in mining frequent itemsets, however it is difficult to apply them to sequence mining problems. In this ...
159
click to vote
CAV
2003
Springer
15 years 11 months ago
2003
Springer
Run-time monitoring of temporal properties and assertions is used for testing and as a component of execution-based model checking techniques. Traditional run-time monitoring howev...