Sciweavers

1174 search results - page 181 / 235
» A Logical Approach to Abstract Algebra
Sort
View
ASPDAC
2000
ACM
95views Hardware» more  ASPDAC 2000»
14 years 2 months ago
FSM decomposition by direct circuit manipulation applied to low power design
Abstract— Clock-gating techniques are very effective in the reduction of the switching activity in sequential logic circuits. In particular, recent work has shown that significa...
José C. Monteiro, Arlindo L. Oliveira
FUZZIEEE
2007
IEEE
14 years 1 months ago
Evolving Single- and Multi-Model Fuzzy Classifiers with FLEXFIS-Class
Abstract-- In this paper a new method for training singlemodel and multi-model fuzzy classifiers incrementally and adaptively is proposed, which is called FLEXFIS-Class. The evolvi...
Edwin Lughofer, Plamen P. Angelov, Xiaowei Zhou
CLIMA
2007
13 years 11 months ago
Language Constructs for Multi-agent Programming
Abstract. In this paper we are concerned with proposing, analyzing and implementing simple, yet flexible, constructs for multi-agent programming. In particular, we wish to extend ...
Louise A. Dennis, Michael Fisher, Anthony Hepple
COMMA
2008
13 years 11 months ago
Focused search for Arguments from Propositional Knowledge
Abstract Classical propositional logic is an appealing option for modelling argumentation but the computational viability of generating an argument is an issue. Here we propose ame...
Vasiliki Efstathiou, Anthony Hunter
DAIS
2009
13 years 11 months ago
Foraging for Better Deployment of Replicated Service Components
Abstract. Our work focuses on distributed software services and their requirements in terms of system performance and dependability. We target the problem of finding optimal deploy...
Máté J. Csorba, Hein Meling, Poul E....