Sciweavers

244 search results - page 37 / 49
» Towards Coalgebraic Behaviourism
Sort
View
AC
2003
Springer
15 years 2 months ago
Synthesis of Asynchronous Hardware from Petri Nets
Abstract. As semiconductor technology strides towards billions of transistors on a single die, problems concerned with deep sub-micron process features and design productivity call...
Josep Carmona, Jordi Cortadella, Victor Khomenko, ...
EPIA
2001
Springer
15 years 1 months ago
Proportional Membership in Fuzzy Clustering as a Model of Ideal Types
The goal of this paper is to further investigate the extreme behaviour of the proportional membership model (FCPM) in contrast to the central tendency of fuzzy c-means (FCM). A dat...
Susana Nascimento, Boris Mirkin, Fernando Moura-Pi...
BCS
2008
14 years 11 months ago
Implications of Electronics Technology Trends to Algorithm Design
Scaling of electronics technology has brought us to a pivotal point in the design of computational devices. Technology scaling favours transistors over wires which has led us into...
Daniel Greenfield, Simon W. Moore
89
Voted
UAI
1993
14 years 10 months ago
On reasoning in networks with qualitative uncertainty
In this paper some initialwork towards a new approach to qualitative reasoning under uncertainty is presented. This method is not only applicable to qualitative probabilistic reas...
Simon Parsons, E. H. Mamdani
ENTCS
2006
141views more  ENTCS 2006»
14 years 9 months ago
Refining the Undecidability Border of Weak Bisimilarity
Weak bisimilarity is one of the most studied behavioural equivalences. This equivalence is undecidable for pushdown processes (PDA), process algebras (PA), and multiset automata (...
Mojmír Kretínský, Vojtech Reh...