2858 search results - page 512 / 572 » Logics with Aggregate Operators |
152
click to vote
ASAP
2009
IEEE
15 years 9 months ago
2009
IEEE
An implementation of a radix-4 approximate squaring circuit is described employing a new operand dual recoding technique. Approximate squaring circuits have numerous applications ...
168
click to vote
AIPS
2008
15 years 8 months ago
2008
Dynamic programming algorithms have been successfully applied to propositional stochastic planning problems by using compact representations, in particular algebraic decision diag...
172
click to vote
WSC
2008
15 years 8 months ago
2008
In this paper, we propose an integrated architecture for modeling, simulation, and execution of PLC (Programmable Logic Controller) based manufacturing system. The main objective ...
156
click to vote
CDC
2008
IEEE
15 years 8 months ago
2008
IEEE
In this paper, we develop an automated framework for formal verification of timed continuous Petri nets (contPN). Specifically, we consider two problems: (1) given an initial set o...
235
Voted
CICLING
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. Semantic inference is an important component in many natural language understanding applications. Classical approaches to semantic inference rely on logical representatio...