5787 search results - page 291 / 1158 » Generic User Modeling Systems |
186
click to vote
TPHOL
2007
IEEE
16 years 27 days ago
2007
IEEE
Abstract. This paper introduces the logical system HOL2P that extends classical higher order logic (HOL) with type operator variables and universal types. HOL2P has explicit term o...
186
click to vote
SOSYM
2010
15 years 1 months ago
2010
Component-based software engineering (CBSE) is viewed as an opportunity to deal with the increasing complexity of modern-day software. Along with CBSE comes the notion of component...
152
click to vote
TIT
2011
15 years 1 months ago
2011
—This work first presents a general technique to compute tight upper and lower bounds on the information rate of a multiuser Rayleigh fading channel with no Channel State Inform...
183
click to vote
APCCM
2009
15 years 7 months ago
2009
Application domain description precedes requirements engineering, and is the basis for the development of a software or information system that satisfies all expectations of its u...
194
click to vote
ATAL
2008
Springer
15 years 8 months ago
2008
Springer
In this paper, we describe the development of an Embodied Conversational Agent (ECA) implementing the concept of a companion, i.e. an agent supporting the persistent representatio...