4767 search results - page 287 / 954 » Structures for Abstract Rewriting |
167
click to vote
IJAR
2011
15 years 1 months ago
2011
Abstract. In this paper, we introduce a general and modular framework for formalizing reasoning with incomplete and inconsistent information. Our framework is composed of non-deter...
154
click to vote
TYPES
2007
Springer
16 years 21 days ago
2007
Springer
Abstract. We propose syntax and semantics for systems of intuitionistic and classical first order dependently sorted logic, with and withlity, retaining type dependency, but other...
166
click to vote
ER
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. For systems that share enough structural and functional commonalities, reuse in schema development and data manipulation can be achieved by defining problem-oriented lang...
169
click to vote
TSD
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. A formal prosody model is proposed together with its application in a text-to-speech system. The model is based on a generative of abstract prosodic functionally involved...
167
click to vote
DATE
2010
IEEE
15 years 11 months ago
2010
IEEE
Abstract—Behavioral synthesis is the compilation of an Electronic system-level (ESL) design into an RTL implementation. We present a suite of optimizations for equivalence checki...