3053 search results - page 343 / 611 » A Logic of Abstract Argumentation |
159
click to vote
VTS
2006
IEEE
16 years 24 days ago
2006
IEEE
Abstract: An optimization algorithm for the design of combinational circuits that are robust to single-event upsets (SEUs) is described. A simple, highly accurate model for the SEU...
163
click to vote
GLVLSI
2005
IEEE
16 years 12 days ago
2005
IEEE
Abstract— PIM Lite is a processor-in-memory prototype implemented in a 0.18 micron logic process. PIM Lite provides a complete working demonstration of a minimal-state, lightweig...
163
click to vote
CP
2005
Springer
16 years 9 days ago
2005
Springer
Abstract. This article presents a database of about 200 graph invariants for deriving systematically necessary conditions from the graph properties based representation of global c...
150
Voted
FSKD
2005
Springer
16 years 9 days ago
2005
Springer
Abstract. An incremental target recognition algorithm based on improved discernibility matrix in rough set theory is presented. Some comparable experiments have been completed in o...
161
Voted
TACAS
2005
Springer
16 years 8 days ago
2005
Springer
Abstract. A Java-based tool-supported software development and analysis framework is presented, where monitoring is a foundational principle. Expressive requirements specification...