4502 search results - page 86 / 901 » Regular Model Checking |
ISVC
2010
Springer
14 years 11 days ago
2010
Springer
In nonrigid motion analysis, deformation fields are often modeled using splines defined on a control-point grid. Inspired by recent development of meshfree methods, we propose a no...
WSDM
2012
ACM
12 years 6 months ago
2012
ACM
Many factorization models like matrix or tensor factorization have been proposed for the important application of recommender systems. The success of such factorization models dep...
OSDI
2002
ACM
14 years 11 months ago
2002
ACM
Device firmware is a piece of concurrent software that achieves high performance at the cost of software complexity. They contain subtle race conditions that make them difficult t...
AB
2007
Springer
14 years 5 months ago
2007
Springer
A series of papers, all under the title of Algorithmic Algebraic Model Checking (AAMC), has sought to combine techniques from algorithmic algebra, model checking and dynamical syst...
ATAL
2008
Springer
14 years 1 months ago
2008
Springer
One approach to moderating the expected behaviour of agents in open societies is the use of explicit languages for defining norms, conditional commitments and/or social expectation...