5423 search results - page 350 / 1085 » Denial-of-service in automation systems |
185
click to vote
LPAR
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. Grounding is the task of reducing a first order formula to ground formula that is equivalent on a given universe, and is important in many kinds of problem solving and re...
181
Voted
DLOG
2009
15 years 4 months ago
2009
The CEL system is known for its scalability of reasoning in the lightweight DL EL++ which has been proved suitable for several ontology applications, most notably from the life sci...
205
click to vote
PROCEDIA
2010
15 years 1 months ago
2010
One of the greatest challenges in computational chemistry is the design of enzymes to catalyze non-natural chemical reactions. We focus on harnessing the distributed parallel comp...
336
click to vote
DLOG
2011
14 years 10 months ago
2011
This paper examines a new technique based on tableau, that allows one to introduce composition of roles from the right hand side of complex role inclusion axioms (RIAs). Our motiva...
210
Voted
MIA
2011
14 years 9 months ago
2011
In this work we propose a comprehensive study of Digital Stent Enhancement (DSE), from the analysis of requirements to the validation of the proposed solution. First, we derive th...