6020 search results - page 457 / 1204 » A New Approach to Model Counting |
205
click to vote
ISDA
2009
IEEE
16 years 1 months ago
2009
IEEE
Educational process mining (EPM) aims at (i) constructing complete and compact educational process models that are able to reproduce all observed behavior (process model discovery...
237
click to vote
SPIN
2004
Springer
16 years 9 days ago
2004
Springer
Most approaches for model checking software are based on ration of abstract models from source code, which may greatly reduce the search space, but may also introduce errors that a...
169
click to vote
ISTA
2004
15 years 8 months ago
2004
: We present in this paper a transformation model for structured documents. TransM is a new model that deals with specified documents, where the structure conforms to a predefined ...
142
click to vote
UAI
2004
15 years 8 months ago
2004
The task of matching co-referent records is known among other names as record linkage. For large record-linkage problems, often there is little or no labeled data available, but u...
197
click to vote
WSCG
2004
15 years 8 months ago
2004
In recent times, subdivision surfaces have been considered a powerful representation for shape design. They have been successfully introduced in character animation software packa...