6020 search results - page 610 / 1204 » A New Approach to Model Counting |
211
Voted
EUROCAST
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. Computer viruses and worms are major threats for our computer infrastructure, and thus, for economy and society at large. Recent work has demonstrated that a model checki...
178
click to vote
ICAIL
2007
ACM
15 years 11 months ago
2007
ACM
Argumentation is modelled as a game where the payoffs are measured in terms of the probability that the claimed conclusion is, or is not, defeasibly provable, given a history of a...
172
Voted
CIKM
2006
Springer
15 years 11 months ago
2006
Springer
A fundamental building block of many data mining and analysis approaches is density estimation as it provides a comprehensive statistical model of a data distribution. For that re...
190
click to vote
ESWS
2008
Springer
15 years 9 months ago
2008
Springer
Abstract. The need for adaptive and personalized Rich Internet Application puts a new dimension to already existing approaches of Adaptive Hypermedia Systems. Instead of computing ...
191
click to vote
LREC
2008
15 years 8 months ago
2008
In this paper, we present a simple yet efficient automatic system to translate biomedical terms. It mainly relies on a machine learning approach able to infer rewriting rules from...