692 search results - page 79 / 139 » Combinatorics of Partial Derivatives |
107
click to vote
TACAS
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. We propose a static analysis framework for concurrent programs based on reduction of thread interleavings using sound invariants on the top of partial order techniques. S...
CDC
2008
IEEE
15 years 4 months ago
2008
IEEE
Ionic polymer-metal composites (IPMCs) form an important category of electroactive polymers and have many potential applications in biomedical, robotic and micro/nano manipulation ...
ACCV
2006
Springer
15 years 3 months ago
2006
Springer
We present a bottom up algebraic approach for segmenting multiple 2D motion models directly from the partial derivatives of an image sequence. Our method fits a polynomial called ...
116
click to vote
SCESM
2006
ACM
15 years 3 months ago
2006
ACM
Goal orientation is an increasingly recognised Requirements Engineering paradigm. However, integration of goal modelling with operational models remains an open area for which the...
EMSOFT
2004
Springer
15 years 3 months ago
2004
Springer
We present an extension of a mathematical framework proposed by the authors to deal with the composition of heterogeneous reactive systems. Our extended framework encompasses dive...