2029 search results - page 106 / 406 » informs 2002 |
JOLLI
2002
14 years 11 months ago
2002
In this paper it is argued that Hintikka's game theoretical semantics for Independence Friendly logic does not formalize the intuitions about independent choices; it rather is...
101
click to vote
KBS
2002
14 years 11 months ago
2002
This paper presents a novel and interesting combination of wavelet techniques and eigenfaces to extract features for face recognition. Eigenfaces reduce the dimensions of face vec...
PUC
2002
14 years 11 months ago
2002
Location models are crucial to location-aware applications. In this paper we present two approaches for modeling location information in an infrastructure-based and an ad hoc netwo...
TCS
2002
14 years 11 months ago
2002
In this paper we present two non-standard-type inference systems for conjunctive strictness and totality analyses of higher-order-typed functional programs and prove completeness ...
CRITICAL
2005
15 years 1 months ago
2005
The goal of the UsersAward programme is to develop and maintain a strategy for better workplace software through user-driven quality assessment. One of its key activities is the u...