2062 search results - page 278 / 413 » Derivatives of Logical Formulas |
155
click to vote
CADE
2008
Springer
16 years 6 months ago
2008
Springer
Abstract. The LogAnswer system is an application of automated reasoning to the field of open domain question-answering, the retrieval of answers to natural language questions regar...
174
click to vote
VTS
2005
IEEE
15 years 11 months ago
2005
IEEE
— A closed-form model for simulation and analysis of voltage transients caused by single-event upsets (SEUs) in logic circuits is described. A linear RC model, derived using a SP...
158
click to vote
CODES
2002
IEEE
15 years 11 months ago
2002
IEEE
We challenge the widespread assumption that an embedded system’s functionality can be captured in a single specification and then partitioned among software and custom hardware ...
130
click to vote
SP
2000
IEEE
15 years 10 months ago
2000
IEEE
We describe the design and implementation of a security infrastructure for a distributed Java application. This work is inspired by SDSI/SPKI, but has a few twists of its own. We ...
131
click to vote
BIRTHDAY
2006
Springer
15 years 9 months ago
2006
Springer
Birkhoff (quasi-)variety categorical axiomatizability results have fascinated many scientists by their elegance, simplicity and generality. The key factor leading to their generali...