2664 search results - page 287 / 533 » Theory by Process |
164
click to vote
ACSD
2007
IEEE
16 years 1 months ago
2007
IEEE
We describe a translation from Rebeca, an actorbased language, to mCRL2, a process algebra enhanced with data types. The main motivation is to exploit the verification tools and ...
169
click to vote
CBMS
2007
IEEE
16 years 1 months ago
2007
IEEE
Representing and Reasoning about time and change is one of the primary issues in the area of Artificial Intelligence (AI) and Knowledge Representation (KR). Despite the importance...
156
click to vote
DATE
2007
IEEE
16 years 1 months ago
2007
IEEE
Reliability of logic circuits is emerging as an important concern that may limit the benefits of continued scaling of process technology and the emergence of future technology al...
168
click to vote
FOCI
2007
IEEE
16 years 1 months ago
2007
IEEE
Abstract— This paper presents a new development of selforganizing maps (SOM), realized by combining them with the idea of a modular network. This we called a modular network SOM ...
204
click to vote
ICC
2007
IEEE
16 years 1 months ago
2007
IEEE
Abstract— Wireless topology control is the process of structuring the connectivity between network nodes to achieve some network-wide goal. This paper presents a cognitive networ...