936 search results - page 113 / 188 » The Logical Difference Problem for Description Logic Termino... |
158
Voted
TACAS
2012
Springer
13 years 10 months ago
2012
Springer
The number of malware is growing extraordinarily fast. Therefore, it is important to have efficient malware detectors. Malware writers try to obfuscate their code by different tec...
149
click to vote
IANDC
2011
14 years 10 months ago
2011
Partial transition systems support abstract model checking of complex temporal propercombining both over- and under-approximatingabstractions into a single model. Over the years, ...
125
click to vote
FUZZIEEE
2007
IEEE
15 years 9 months ago
2007
IEEE
![Blockwise Similarity in [0, 1] via Triangular Norms and Sugeno Integrals - Application to Cluster Validity](https://sciweavers.org/files/imagecache/thumbnail/imagecache/blockwise_similarity_in_0_1_via_triangular_norms_and_sugeno_integrals_application_to_cluster_validity_FUZZIEEE_2007.jpg "Blockwise Similarity in [0, 1] via Triangular Norms and Sugeno Integrals - Application to Cluster Validity")
— In many fields, e.g. decision-making, numerical values in [0,1] are available and one is often interested in detecting which are similar. In this paper, we propose an operator...
128
click to vote
AISC
2004
Springer
15 years 6 months ago
2004
Springer
While implementing a proof for the Basic Perturbation Lemma (a central result in Homological Algebra) in the theorem prover Isabelle one faces problems such as the implementation o...
122
Voted
AAAI
2008
15 years 5 months ago
2008
Answer set programming (ASP) is a form of declarative programming oriented towards difficult search problems. As an outgrowth of research on the use of nonmonotonic reasoning in k...