4126 search results - page 235 / 826 » Set based logic programming |
173
click to vote
DATE
2004
IEEE
15 years 10 months ago
2004
IEEE
There has been considerable research on quantum dots cellular automata as a new computing scheme in the nano-scale regimes. The basic logic element of this technology is a majorit...
165
click to vote
ECSQARU
2005
Springer
15 years 12 months ago
2005
Springer
Semi-revision is a model of belief change that differs from revision in that a new formula is not always accepted. Later, Fuhrmann defined multiple semi-revision by replacing a n...
157
click to vote
FUZZIEEE
2007
IEEE
16 years 23 days ago
2007
IEEE
— We propose a fuzzy-based decision-making mechanism for selecting data dissemination protocols in wireless sensor networks (WSNs). Its goal is to select the most efficient proto...
149
click to vote
LOGCOM
2010
15 years 4 months ago
2010
Abstract This paper investigates expressivity of modal logics for transition systems, multitransition systems, Markov chains, and Markov processes, as coalgebras of the powerset, ...
155
click to vote
BIRTHDAY
2009
Springer
15 years 10 months ago
2009
Springer
An extended specification for aspects, and a new verification method based on model checking are used to establish the correctness of strongly-invasive aspects, independently of a...