2062 search results - page 350 / 413 » Derivatives of Logical Formulas |
ICCAD
2007
IEEE
15 years 8 months ago
2007
IEEE
— In ultra-deep sub-micron technologies, modeling waveform shapes correctly is essential for accurate timing and noise analysis. Due to process and environmental variations, ther...
WOLLIC
2009
Springer
15 years 5 months ago
2009
Springer
Abstract. Database design aims to find a database schema that permits the efficient processing of common types of queries and updates on future database instances. Full first-ord...
116
click to vote
PPDP
2009
Springer
15 years 5 months ago
2009
Springer
We introduce a logic programming framework for data type transformations based on isomorphisms between elementary data types (natural numbers, finite functions, sets and permutat...
110
click to vote
ICAIL
2009
ACM
15 years 5 months ago
2009
ACM
In this paper coherence-based models are proposed as an alternative to logic-based BDI and argumentation models for the reasoning of normative agents. A model is provided for how t...
ICPR
2008
IEEE
15 years 5 months ago
2008
IEEE
Biometric cryptography is a technique using biometric features to encrypt data, which can improve the security of the encrypted data and overcome the shortcomings of the tradition...