296 search results - page 56 / 60 » Towards Research on Software Cybernetics |
FOSSACS
2008
Springer
14 years 11 months ago
2008
Springer
We introduce Erasure Pure Type Systems, an extension to Pure Type Systems with an erasure semantics centered around a type constructor indicating parametric polymorphism. The eras...
IEEEPACT
2009
IEEE
15 years 4 months ago
2009
IEEE
Increasing demand for performance and efficiency has driven the computer industry toward multicore systems. These systems have become the industry standard in almost all segments...
124
click to vote
ICC
2007
IEEE
15 years 4 months ago
2007
IEEE
—This paper addresses context issues in pervasive mobile computing and presents a semantic context model to support location based cooperative mobile applications. In this paper,...
106
click to vote
AIHC
2007
Springer
15 years 3 months ago
2007
Springer
Enabling machines to understand emotions and feelings of the human users in their natural language textual input during interaction is a challenging issue in Human Computing. Our w...
127
click to vote
IPPS
2006
IEEE
15 years 3 months ago
2006
IEEE
The incorporation of last-generation sensors to airborne and satellite platforms is currently producing a nearly continual stream of high-dimensional data, and this explosion in t...