1583 search results - page 248 / 317 » Lyra: A System Framework in Supporting Multimedia Applicatio... |
174
click to vote
ISSRE
2010
IEEE
15 years 4 months ago
2010
IEEE
Abstract—As smart phones grow in popularity, manufacturers are in a race to pack an increasingly rich set of features into these tiny devices. This brings additional complexity i...
146
click to vote
CAISE
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. Computers support more and more tasks in the personal and professional activities of users. Such user tasks increasingly span large periods of time and many locations acr...
168
click to vote
JFP
2000
15 years 6 months ago
2000
In this paper we present two type inference systems for detecting useless-code in higher-order typed functional programs. Type inference can be performed in an efficient and compl...
148
click to vote
HICSS
1997
IEEE
15 years 10 months ago
1997
IEEE
The discipline of narratology has long recognized the need to classify documents as instances of different text types. We have discovered that classification is as applicable to h...
171
click to vote
VRML
2003
ACM
15 years 11 months ago
2003
ACM
Embodied agents or humanoid avatars may effectively be used to communicate with human users. Currently there is a wide range of specification formalisms and scripting languages f...