3591 search results - page 167 / 719 » Typing linear constraints |
173
click to vote
CONSTRAINTS
2008
15 years 5 months ago
2008
Abstract. Essence is a formal language for specifying combinatorial problems, in a manner similar to natural rigorous specifications that use a mixture of natural language and disc...
156
click to vote
FAC
2010
15 years 4 months ago
2010
For more than a decade, the trend in geometric constraint systems solving has been to use a geometric decomposition/recombination approach. These methods are generally grounded on...
152
click to vote
BMCBI
2005
15 years 5 months ago
2005
Background: The majority of residues in protein structures are involved in the formation of helices and -strands. These distinctive secondary structure patterns can be used to rep...
144
click to vote
ATVA
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. The emerging technology of interacting systems calls for new forto ensure their reliability. Concurrent games are paradigmatic abstract models for which several logics ha...
132
click to vote
CPAIOR
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. This work presents methods for processing a constraint satisfaction problem (CSP) formulated by an expression-based language, before the CSP is presented to a stochastic ...