4401 search results - page 113 / 881 » Computing with Default Logic |
112
Voted
WS
2008
ACM
15 years 2 months ago
2008
ACM
93
Voted
NDJFL
2010
14 years 9 months ago
2010
106
Voted
FOSSACS
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. We introduce a generic framework for hybrid logics, i.e. modal logics additionally featuring nominals and satisfaction operators, thus providing the necessary facilities ...
121
Voted
ICALP
2005
Springer
15 years 8 months ago
2005
Springer
Bigraphs are emerging as a (meta-)model for concurrent calculi, like CCS, ambients, πcalculus, and Petri nets. They are built orthogonally on two structures: a hierarchical place...
103
Voted
FPGA
2004
ACM
15 years 8 months ago
2004
ACM
In this paper, we introduce a reconfigurable fabric based around a new class of circuit element: the hybrid Hall effect (HHE) magnetoelectronic device. Because they incorporate a ...