4502 search results - page 359 / 901 » Regular Model Checking |
168
Voted
ICCS
2003
Springer
15 years 12 months ago
2003
Springer
Sparse Grids are the basis for efficient high dimensional approximation and have recently been applied successfully to predictive modelling. They are spanned by a collection of si...
192
click to vote
ECBS
2004
IEEE
15 years 10 months ago
2004
IEEE
Model Integrated Computing employs domainspecific modeling languages for the design of Computer Based Systems and automatically generates their implementation. These system models...
147
click to vote
USS
2008
15 years 9 months ago
2008
Panic passwords allow a user to signal duress during authentication. We show that the well-known model of giving a user two passwords, a `regular' and a `panic' password...
152
click to vote
JSYML
2008
15 years 6 months ago
2008
In a previous paper with M. Dzamonja, class forcings were given which fixed the complexity (a universality covering number) for certain types of structures of size together with ...
157
click to vote
ICMCS
2009
IEEE
15 years 4 months ago
2009
IEEE
This paper presents a new approach to 3D shape comparison and retrieval based on the computation of Gaussian transforms of the surface model on a set of points regularly distribut...