6020 search results - page 828 / 1204 » A New Approach to Model Counting |
209
click to vote
NIPS
2008
15 years 8 months ago
2008
In this paper, we address the question of what kind of knowledge is generally transferable from unlabeled text. We suggest and analyze the semantic correlation of words as a gener...
201
click to vote
GRAPHICSINTERFACE
2001
15 years 8 months ago
2001
Weathering phenomena represent a topic of growing interest in computer graphics, and corrosion reactions are of great importance since they affect a large number of different fiel...
218
click to vote
DMDW
2003
15 years 8 months ago
2003
Geographic Information Systems (GIS) showed their insufficiencies in front of complex requests for decision-makers. Resulting of the association of the databases and the decision-m...
157
click to vote
WSC
2004
15 years 8 months ago
2004
The authors present the requirement definition and methodological approach for developing a new generation of Computer Generated Forces (CGF) based on Intelligent Agents. The anal...
170
click to vote
FTCS
1998
15 years 8 months ago
1998
Most RAID controllers implemented in industry are complicated and di cult to reason about. This complexity has led to software and hardware systems that are di cult to debug and h...