4502 search results - page 251 / 901 » Regular Model Checking |
167
Voted
GI
2009
Springer
15 years 11 months ago
2009
Springer
: Compliance management tackles issues related to both modelling and enforcement of business constraints in enterprises. In the context of business process management, we propose a...
193
click to vote
JMIV
2007
15 years 6 months ago
2007
We propose a new variational model to denoise an image corrupted by Poisson noise. Like the ROF model described in [1] and [2], the new model uses total-variation regularization, w...
154
click to vote
ENTCS
2007
15 years 6 months ago
2007
We describe techniques for diagnosing errors in formal equivalence checking of RTL and transistor level models of high performance microprocessors at Freescale Semiconductor Inc. ...
150
click to vote
ISMVL
2009
IEEE
16 years 1 months ago
2009
IEEE
We define a number of original encodings, called regular encodings, that map Max-CSP instances into Partial MaxSAT instances. First, we obtain new direct and (minimal) support en...
156
Voted
NIPS
1994
15 years 7 months ago
1994
Ideally pattern recognition machines provide constant output when the inputs are transformed under a group G of desired invariances. These invariances can be achieved by enhancing...