11436 search results - page 424 / 2288 » Modeling Real Reasoning |
141
Voted
DLOG
2008
15 years 7 months ago
2008
We identify the complexity of (finite model) reasoning in the DL SROIQ to be N2ExpTime-complete. We also prove that (finite model) reasoning in the DL SR--a fragment of SROIQ witho...
127
click to vote
COMMA
2008
15 years 6 months ago
2008
Abstract. The identification of consistent sets of arguments is one of the most important concerns in the development of computational models of argument. Such extensions drive the...
194
click to vote
HAPTICS
2006
IEEE
15 years 11 months ago
2006
IEEE
A central element of surgical simulators is the generation of appropriate haptic feedback. Several factors influence this rendering process, which could potentially degrade the f...
135
Voted
HICSS
2006
IEEE
15 years 11 months ago
2006
IEEE
Little research has examined the relevance of real options for valuation of information technology (IT) investments for prioritizing a portfolio of projects. When the effect of pr...
130
click to vote
NOMS
2008
IEEE
15 years 11 months ago
2008
IEEE
Abstract—Scalability is a real challenge for network management due to the increase of the devices to be managed and their various locations. A potential solution is based on bot...