Sciweavers

1160 search results - page 131 / 232
» Revisiting the Sequence Constraint
Sort
View
QSIC
2005
IEEE
16 years 15 hour ago
Runtime Validation of Behavioural Contracts for Component Software
In component software, the independence of components is achieved by separating their interfaces from implementations. The interface definition of a component serves as the contr...
Yan Jin, Jun Han
CIKM
2005
Springer
15 years 12 months ago
Access control for XML: a dynamic query rewriting approach
We introduce the notion of views as a mechanism for securing and providing access control in the context of XML. Research in XML has explored several efficient querying mechanism...
Sriram Mohan, Arijit Sengupta, Yuqing Wu
CDC
2009
IEEE
134views Control Systems» more  CDC 2009»
15 years 9 months ago
Output-feedback controlled-invariant polyhedra for constrained linear systems
Abstract— A design method is proposed for outputfeedback control of linear systems subject to state and control constraints, additive disturbances and measurement noise. First, n...
Carlos Eduardo Trabuco Dórea
CVPR
2005
IEEE
15 years 8 months ago
Articulated Structure from Motion by Factorization
Multibody affine Structure From Motion (SFM) methods commonly assume independent motion between objects such that the ‘measurement matrix’ has rank 4k. When multiple views ar...
Philip A. Tresadern, Ian D. Reid
EAAI
2008
111views more  EAAI 2008»
15 years 6 months ago
Fuzzy conditional temporal problems: Strong and weak consistency
: In real life scenarios there is often the need for modelling conditional plans where external events determgine the actual execution sequence. Conditional Temporal Problems (CTPs...
Marco Falda, Francesca Rossi, Kristen Brent Venabl...