1626 search results - page 216 / 326 » Subtyping with Power Types |
147
click to vote
CEC
2007
IEEE
15 years 11 months ago
2007
IEEE
— Determining the optimal topology of a graph is pertinent to many domains, as graphs can be used to model a variety of systems. Evolutionary algorithms constitute a popular opti...
134
click to vote
CSFW
2007
IEEE
15 years 11 months ago
2007
IEEE
Task-PIOA is a modeling framework for distributed systems with both probabilistic and nondeterministic behaviors. It is suitable for cryptographic applications because its task-bas...
136
Voted
ECRTS
2007
IEEE
15 years 11 months ago
2007
IEEE
Today’s CPUs consume a significant amount of power and generate a high amount of heat, requiring an active cooling system to support reliable operations. In case of cooling sys...
145
click to vote
GLOBECOM
2007
IEEE
15 years 11 months ago
2007
IEEE
—this paper addresses the design challenge of interference mitigation in the emerging high density (HD) wireless LAN. It is proposed to differentiate interference according to th...
154
click to vote
HAPTICS
2007
IEEE
15 years 11 months ago
2007
IEEE
In this paper, we propose a stretchable large area sensor skin based on Two-Dimensional Signal Transmission (2DST) technology. A small tactile sensor chip with stable non-contact ...