999 search results - page 81 / 200 » Constraints in Non-Boolean Contexts |
173
click to vote
MMAS
2010
Springer
15 years 1 months ago
2010
Springer
We present a formal procedure for structure-preserving model reduction of linear second-order and Hamiltonian control problems that appear in a variety of physical contexts, e.g., ...
213
click to vote
TDP
2010
15 years 1 months ago
2010
The widespread adoption of location-based services (LBS) raises increasing concerns for the protection of personal location information. A common strategy, referred to as obfuscati...
188
click to vote
CVPR
2012
IEEE
13 years 8 months ago
2012
IEEE
Improving coding and spatial pooling for bag-of-words based feature design have gained a lot of attention in recent works addressing object recognition and scene classification. ...
158
click to vote
TACAS
2009
Springer
16 years 1 months ago
2009
Springer
We discuss the problem of path feasibility for programs manipulating strings using a collection of standard string library functions. We prove results on the complexity of this pro...
148
click to vote
IROS
2009
IEEE
16 years 29 days ago
2009
IEEE
— Many everyday human skills can be framed in terms of performing some task subject to constraints imposed by the environment. Constraints are usually unobservable and frequently...