6020 search results - page 448 / 1204 » A New Approach to Model Counting |
153
click to vote
IDA
2007
Springer
16 years 1 months ago
2007
Springer
The paper presents new developments in an extension of Codd’s relational model of data. The extension consists in equipping domains of attribute values with a similarity relation...
186
click to vote
ICIP
2002
IEEE
15 years 12 months ago
2002
IEEE
Most model based rate control solutions have the generally questionable assumption that video sequence is stationary, and also suffer from the fundamental problems of model parame...
158
click to vote
WSC
2008
15 years 9 months ago
2008
Emergent behaviors in simulations require explanation, so that valid behaviors can be separated from design or coding errors. Validation of emergent behavior requires accumulation...
146
click to vote
CONCURRENCY
2008
15 years 7 months ago
2008
The Resource Space Model is a new semantic data model for managing various resources. Based on the model, this paper proposes a view mechanism for finding and reusing legacy Resou...
183
click to vote
ACL
2011
14 years 10 months ago
2011
We present an ILP-based model of zero anaphora detection and resolution that builds on the joint determination of anaphoricity and coreference model proposed by Denis and Baldridg...