331 search results - page 47 / 67 » Fragments of order |
ARC
2008
Springer
13 years 9 months ago
2008
Springer
Reconfigurable architectures enable the hardware function to be implemented by the user and, due to its characteristics, have been used in many areas, including Bioinformatics. One...
CANDC
2002
ACM
13 years 7 months ago
2002
ACM
We describe QSketcher, a new environment for composing music for film. The main design focus is the support of the early stages of the creative workflow, from idea conception thro...
CORR
2006
Springer
13 years 7 months ago
2006
Springer
In this paper we define intensional models for the classical theory of types, thus arriving at an intensional type logic ITL. Intensional models generalize Henkin's general m...
DASFAA
2006
IEEE
13 years 11 months ago
2006
IEEE
XML is a de-facto standard for exchanging and presenting information on the Web. However, XML data is also recognized as verbose since it heavily inflates the size of the data due ...
RTA
2004
Springer
14 years 27 days ago
2004
Springer
Logical systems in natural deduction style are usually presented in the Gentzen style. A different definition of natural deduction, that corresponds more closely to proofs in ord...