10568 search results - page 494 / 2114 » Computer Intelligence and Formalization |
139
Voted
CTW
2006
15 years 5 months ago
2006
This paper reports on the application of a range of human computer interaction (HCI) methods to the redesign of an electronic flight bag (EFB), as part of a commercial software dev...
141
Voted
JCP
2006
15 years 5 months ago
2006
In this paper, we discuss a general methodology for analysis and modeling of trust relationships in distributed computing. We discuss the classification of trust relationships, cat...
131
click to vote
TPDS
2008
15 years 5 months ago
2008
High Performance Computing data centers have been rapidly growing, both in number and size. Thermal management of data centers can address dominant problems associated with cooling...
125
click to vote
CORR
1998
Springer
15 years 4 months ago
1998
Springer
Abstract. This paper presents a novel formalization of optimality theory. Unlike previous treatments of optimality in computational linguistics, starting with Ellison 1994 , the n...
145
click to vote
LPAR
2010
Springer
15 years 3 months ago
2010
Springer
We present a sound and complete model of lambda-calculus reductions based on structures inspired by modal logic (closely related to Kripke structures). Accordingly we can construct...