569 search results - page 11 / 114 » The Sisyphus Continuous Integration System |
107
click to vote
PAMI
2010
14 years 10 months ago
2010
—Representative surface reconstruction algorithms taking a gradient field as input enforces the integrability constraint in a discrete manner. While enforcing integrability allo...
AUTOMATICA
2005
14 years 11 months ago
2005
This paper is on the design of robust output feedback integral control for minimum-phase nonlinear systems with a well-defined relative degree. Previous work has shown how to desi...
CAV
2009
Springer
16 years 7 days ago
2009
Springer
A new static analyzer is described, based on the analyzer Fluctuat. Its goal is to synthetize invariants for hybrid systems, encompassing a continuous environment described by a sy...
JUCS
2008
14 years 11 months ago
2008
: Taking as a starting point (a modification of) a weak theory of arithmetic of Jan Johannsen and Chris Pollett (connected with the hierarchy of counting functions), we introduce s...
78
Voted
IPPS
2006
IEEE
15 years 5 months ago
2006
IEEE
Workflow enactment systems are becoming an effective solution to ease programming, deployment and execution of distributed applications in several domains such as telecommunicatio...