Sciweavers

1059 search results - page 27 / 212
» Standard Logics Are Valuation-Nonmonotonic
Sort
View
FPL
2004
Springer
95views Hardware» more  FPL 2004»
15 years 11 months ago
Improving FPGA Performance and Area Using an Adaptive Logic Module
This paper proposes a new adaptable FPGA logic element based on fracturable 6-LUTs, which fundamentally alters the longstanding belief that a 4-LUT is the most efficient area/delay...
Michael Hutton, Jay Schleicher, David M. Lewis, Br...
ECRTS
1999
IEEE
15 years 10 months ago
Timed automaton models for simple programmable logic controllers
We give timed automaton models for a class of Programmable Logic Controller (PLC) applications, that are programmed in a simple fragment of the language Instruction Lists as defin...
Angelika Mader, Hanno Wupper
186
Voted
DEBU
2002
120views more  DEBU 2002»
15 years 5 months ago
DAML+OIL: a Description Logic for the Semantic Web
Ontologies are set to play a key role in the "Semantic Web", extending syntactic interoperability to semantic interoperability by providing a source of shared and precis...
Ian Horrocks
JELIA
2010
Springer
15 years 4 months ago
Similarity-Based Inconsistency-Tolerant Logics
Abstract. Many logics for AI applications that are defined by denotational semantics are trivialized in the presence of inconsistency. It is therefore often desirable, and practic...
Ofer Arieli, Anna Zamansky
CHES
2007
Springer
328views Cryptology» more  CHES 2007»
16 years 8 days ago
High-Speed True Random Number Generation with Logic Gates Only
It is shown that the amount of true randomness produced by the recently introduced Galois and Fibonacci ring oscillators can be evaluated experimentally by restarting the oscillato...
Markus Dichtl, Jovan Dj. Golic