3119 search results - page 179 / 624 » General Default Logic |
166
click to vote
MST
2011
14 years 10 months ago
2011
The theory of two-dimensional languages, generalizing formal string languages, was motivated by problems arising from image processing and models of parallel computing. Weighted au...
123
click to vote
ATAL
2011
Springer
14 years 3 months ago
2011
Springer
In this paper, we merge speech act theory, emotion theory, and logic. We propose a modal logic that integrates the concepts of belief, goal, ideal and responsibility and that allo...
141
click to vote
CADE
2006
Springer
16 years 3 months ago
2006
Springer
Abstract. Based on inductive definitions, we develop an automated tool for defining partial recursive functions in Higher-Order Logic and providing appropriate reasoning tools for ...
117
click to vote
ICCAD
2008
IEEE
16 years 4 days ago
2008
IEEE
This paper presents new methods for restructuring logic networks based on fast Boolean techniques. The basis for these are 1) a cut based view of a logic network, 2) exploiting th...
143
click to vote
ICCAD
2007
IEEE
16 years 4 days ago
2007
IEEE
— The research in the field of reversible logic is motivated by its application in low-power design, optical computing and quantum computing. Hence synthesis of reversible logic...