4592 search results - page 79 / 919 » Framework for Studying Substitution |
ASIAN
2006
Springer
14 years 19 days ago
2006
Springer
Abstract. A type-theoretic framework for formal reasoning with different logical foundations is introduced and studied. With logic-enriched type theories formulated in a logical fr...
EDOC
2007
IEEE
14 years 3 months ago
2007
IEEE
In this paper we introduce an analysis framework for mobile workforce automation. The framework is based on the findings from earlier research as well as on an analysis of 27 rec...
ACMICEC
2005
ACM
14 years 2 months ago
2005
ACM
Consumer satisfaction with Internet shopping has been conceptualized in a variety of ways. Studies in this area remain broad and appear relatively fragmented. In view of this, the...
MEDINFO
2007
13 years 10 months ago
2007
This paper presents an idealized conceptual framework for consumer health informatics research drawing from complementary disciplines: information science and health campaign rese...
MTA
2008
13 years 8 months ago
2008
This paper proposes camera and media stream management techniques at the middleware level for implementing a U-City (ubiquitous city). The study focuses on overcoming the difficult...