2067 search results - page 176 / 414 » Logics of propositional control |
174
Voted
ICFP
2010
ACM
15 years 7 months ago
2010
ACM
Reasoning about program equivalence is one of the oldest problems in semantics. In recent years, useful techniques have been developed, based on bisimulations and logical relation...
164
click to vote
GLVLSI
2008
IEEE
16 years 1 months ago
2008
IEEE
Timing optimizations during logic synthesis has become a necessary step to achieve timing closure in VLSI designs. This often involves “shortening” all paths found in the circ...
199
click to vote
JAIR
2006
15 years 6 months ago
2006
Fast Downward is a classical planning system based on heuristic search. It can deal with general deterministic planning problems encoded in the propositional fragment of PDDL2.2, ...
163
click to vote
LFCS
2007
Springer
16 years 20 days ago
2007
Springer
We combine first-order dynamic logic for reasoning about possible behaviour of hybrid systems with temporal logic for reasoning about the temporal behaviour during their operation...
165
click to vote
IFIP
2009
Springer
16 years 1 months ago
2009
Springer
Application or business logic, used in the development of services, has to do with the operations that define the application functionalities and not with the platform ones. Often...