2478 search results - page 360 / 496 » Universality in two dimensions |
105
Voted
ICSE
2007
IEEE-ACM
16 years 25 days ago
2007
IEEE-ACM
The Alloy tool-set has been gaining popularity as an alternative to traditional manual testing and checking for design correctness. Alloy uses a first-order relational logic for m...
102
Voted
PERCOM
2007
ACM
16 years 10 days ago
2007
ACM
We envisage pervasive computing applications to be predominantly engaged in knowledge-based interactions, where services and information will be found and exchanged based on some ...
103
click to vote
ALT
2004
Springer
15 years 9 months ago
2004
Springer
A revision algorithm is a learning algorithm that identifies the target concept, starting from an initial concept. Such an algorithm is considered efficient if its complexity (in ...
97
Voted
ICCD
2006
IEEE
15 years 9 months ago
2006
IEEE
Abstract— Gate leakage (direct tunneling current for sub65nm CMOS) can severely affect both the transient and steady state behaviors of CMOS circuits. In this paper we quantify t...
111
Voted
CSCW
2010
ACM
15 years 7 months ago
2010
ACM
The schema or mental structures that people apply towards other people has been shown to influence the way people cooperate with others. Schemas evoke behavioral scripts. In this ...