79 search results - page 9 / 16 » Splitting Logics |
CADE
2003
Springer
16 years 14 hour ago
2003
Springer
The DPLL procedure is the basis of some of the most successful propositional satisfiability solvers to date. Although originally devised as a proofprocedure for first-order logic, ...
ISLPED
2004
ACM
15 years 5 months ago
2004
ACM
In this paper we investigate the statistics of multiplier operands and identify two characteristics of their distribution that have important consequences for the design of low po...
102
click to vote
SBCCI
2004
ACM
15 years 5 months ago
2004
ACM
Digital Control System in the industry has been used in most of the applications based on expensive Programmable Logical Controllers (PLC). These Systems are, in general, highly c...
151
click to vote
IFIPTM
2010
14 years 10 months ago
2010
Enforcing complex policies that span organizational domains is an open challenge. Current work on SOA policy enforcement splits security in logical components that can be distribut...
123
click to vote
SOCROB
2010
14 years 10 months ago
2010
Abstract. This paper presents a system for human-robot communication situated in an ambient assisted living scenario, where the robot performs an orderand-serve-procedure. The inte...