Sciweavers

313 search results - page 26 / 63
» Addressing Moral Problems Through Practical Reasoning
Sort
View
INFOCOM
2000
IEEE
14 years 1 months ago
Near Optimal Routing Lookups with Bounded Worst Case Performance
Abstract—The problem of route address lookup has received much attention recently and several algorithms and data structures for performing address lookups at high speeds have be...
Pankaj Gupta, Balaji Prabhakar, Stephen P. Boyd
ADHOC
2007
95views more  ADHOC 2007»
13 years 8 months ago
Sink-to-sensors congestion control
— The problem of congestion in sensor networks is significantly different from conventional ad-hoc networks and has not been studied to any great extent thus far. In this paper,...
Ramanuja Vedantham, Raghupathy Sivakumar, Seung-Jo...
JAR
2007
97views more  JAR 2007»
13 years 8 months ago
Debugging Incoherent Terminologies
Abstract. In this paper we study the diagnosis and repair of incoherent terminologies. We define a number of new non-standard reasoning services to explain incoherence through pin...
Stefan Schlobach, Zhisheng Huang, Ronald Cornet, F...
ICTAI
2008
IEEE
14 years 3 months ago
Let the Solver Deal with Redundancy
Handling redundancy in propositional reasoning and search is an active path of theoretical research. For instance, the complexity of some redundancy-related problems for CNF formu...
Cédric Piette
FROCOS
2009
Springer
14 years 3 months ago
Putting ABox Updates into Action
When trying to apply recently developed approaches for updating Description Logic ABoxes in the context of an action programming language, one encounters two problems. First, upda...
Conrad Drescher, Hongkai Liu, Franz Baader, Steffe...