1274 search results - page 130 / 255 » New Proofs for |
142
Voted
LPNMR
2009
Springer
16 years 11 days 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...
122
click to vote
DAM
2006
15 years 5 months 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...
152
Voted
IJBC
2008
15 years 5 months 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,...
144
click to vote
ACSC
2005
IEEE
15 years 11 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...
162
click to vote
IAJIT
2011
15 years 24 days 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...