1274 search results - page 130 / 255 » New Proofs for |
92
Voted
LPNMR
2009
Springer
15 years 7 months ago
2009
Springer
Problems arising from the revision of propositional knowledge bases have been intensively studied for two decades. Many different approaches to revision have thus been suggested, w...
DAM
2006
15 years 25 days ago
2006
The aim of edge modification problems is to change the edge set of a given graph as little as possible in order to satisfy a certain property. Edge modification problems in graphs...
104
Voted
IJBC
2008
15 years 10 days ago
2008
: The main goal of this paper is to introduce part of a new approach of proving the existence of a nontrivial knot on any embedded template. This proof in branched 2-manifold case,...
87
Voted
ACSC
2005
IEEE
15 years 6 months ago
2005
IEEE
1 Service discovery protocols are used in distributed systems to locate services for clients. The services that are located as well as the clients requesting service are commonly a...
108
Voted
IAJIT
2011
14 years 7 months ago
2011
: There are many known Arabic lexicons organized on different ways, each of them has a different number of Arabic words according to its organization way. This paper has used mathe...