6239 search results - page 201 / 1248 » From Zinc to Design Model |
191
click to vote
VLSID
2001
IEEE
16 years 7 months ago
2001
IEEE
In this paper we describe a hardware design method for memory and register arrays that allows the application of formal equivalence checking for comparing a high-level register tr...
171
click to vote
NCA
2008
IEEE
16 years 1 months ago
2008
IEEE
In this work, using a game-theoretic approach, costsensitive mechanisms that lead to reliable Internet-based computing are designed. In particular, we consider Internet-based mast...
188
click to vote
ISVLSI
2005
IEEE
16 years 20 days ago
2005
IEEE
In this paper, we introduce a novel context sensitive system design paradigm. Multiple sensors/ computational architecture, in the form of our eWatch device, is used to infer the ...
168
click to vote
IUI
2004
ACM
16 years 16 days ago
2004
ACM
In many practical scenarios, users are faced with the problem of choosing the most preferred outcome from a large set of possibilities. As people are unable to sift through them m...
179
click to vote
ATAL
2003
Springer
16 years 10 days ago
2003
Springer
This paper unifies two recent strands of research in multiagent system design. One, commitments are widely recognized as capturing important aspects of interactions among agents,...