4036 search results - page 407 / 808 » Formal Methods |
229
click to vote
TKDE
2012
13 years 9 months ago
2012
—If past versions of XML documents are retained, what of the various integrity constraints defined in XML Schema on those documents? This paper describes how to interpret such c...
209
click to vote
TKDE
2012
13 years 9 months ago
2012
—Online learning algorithms often have to operate in the presence of concept drifts. A recent study revealed that different diversity levels in an ensemble of learning machines a...
139
click to vote
ICRA
2008
IEEE
16 years 1 months ago
2008
IEEE
— To be acceptable to human drivers, the motion of an intelligent robotic wheelchair must be more than just collision-free: it must be graceful. We define graceful motion as bei...
204
click to vote
MKM
2009
Springer
16 years 1 months ago
2009
Springer
Methods for deciding quantifier-free non-linear arithmetical conjectures over R are crucial in the formal verification of many realworld systems and in formalised mathematics. Wh...
155
click to vote
TASE
2008
IEEE
16 years 1 months ago
2008
IEEE
Symmetry reduction holds great promise to counter the state explosion problem. However, currently it is “conducting a life on the fringe”, and is not widely applied, mainly du...