4451 search results - page 242 / 891 » On Random Ordering Constraints |
183
click to vote
ISMB
1994
15 years 8 months ago
1994
Wepresent algorithms for kinematic manipulation of molecular chains subject to fixed bond lengths and bond angles. They are useful for calculating conformations of a molecule subj...
153
click to vote
AAMAS
2008
Springer
15 years 6 months ago
2008
Springer
Anticipation is a general concept used and applied in various domains. Many studies in the field of artificial intelligence have investigated the capacity for anticipation. In thi...
155
Voted
CORR
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. For Paradigm models, evolution is just-in-time specified coordination conducted by a special reusable component McPal. Evolution can be treated consistently and on-the-fl...
201
click to vote
CLEIEJ
2006
15 years 6 months ago
2006
Concurrent process calculi are powerful formalisms for modelling concurrent systems. The mathematical style underlying process calculi allow to both model and verify properties of...
156
click to vote
TCAD
2002
15 years 6 months ago
2002
Test scheduling is an important problem in system-on-a-chip (SOC) test automation. Efficient test schedules minimize the overall system test application time, avoid test resource c...