Sciweavers

244 search results - page 37 / 49
» Towards Coalgebraic Behaviourism
Sort
View
AC
2003
Springer
14 years 22 days 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
13 years 12 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
13 years 9 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
UAI
1993
13 years 8 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»
13 years 7 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...