3028 search results - page 295 / 606 » Integrating Temporal Logics |
172
click to vote
PLILP
1993
Springer
15 years 11 months ago
1993
Springer
Abstract. Solving equations in equational theories is a relevant programming paradigm which integrates logic and equational programming into one unified framework. Efficient metho...
187
click to vote
DIS
2006
Springer
15 years 10 months ago
2006
Springer
Protein domains are the building blocks of proteins, and their interactions are crucial in forming stable protein-protein interactions (PPI) and take part in many cellular processe...
199
click to vote
FMCAD
2006
Springer
15 years 10 months ago
2006
Springer
Ario is a solver for systems of linear integer arithmetic logic. Such systems are commonly used in design verification applications and are classified under Satisfiability Modulo T...
172
click to vote
ICRA
2010
IEEE
15 years 4 months ago
2010
IEEE
Abstract-- Complex robots with many interacting components in their control architectures are subject to component failures from which neither the control architecture nor the impl...
206
click to vote
CVPR
2009
IEEE
17 years 1 months ago
2009
IEEE
We present a novel framework for recognizing repetitive
sequential events performed by human actors with strong
temporal dependencies and potential parallel overlap. Our
solutio...