2152 search results - page 347 / 431 » An Abstract Account of Composition |
114
click to vote
DAC
1994
ACM
15 years 5 months ago
1994
ACM
Abstract - We address the problem of automatically verifying large digital designs at the logic level, against high-level specifications. In this paper, we present a methodology wh...
107
click to vote
AIIA
2009
Springer
15 years 5 months ago
2009
Springer
Abstract. In this paper a novel framework for brain classification is proposed in the context of mental health research. A learning by example method is introduced by combining loc...
108
click to vote
ISARCS
2010
15 years 5 months ago
2010
Abstract. Software designs equipped with specification of dependability techniques can help engineers to develop critical systems. In this work, we start to envision how a softwar...
110
click to vote
CEC
2007
IEEE
15 years 5 months ago
2007
IEEE
Abstract-- Resource discovery is an essential problem in peerto-peer networks since there is no centralized index in which to look for information about resources. In a pure P2P ne...
108
click to vote
CEC
2009
IEEE
15 years 5 months ago
2009
IEEE
Abstract--A model for intrinsic artificial development is introduced in this paper. The proposed model features a novel mechanism where growth emerges, rather than being triggered ...