8760 search results - page 1573 / 1752 » Modeling users of intelligent systems |
196
click to vote
JODI
2010
15 years 1 months ago
2010
: ICE-TheOREM was a project which made several important contributions to the repository domain, promoting deposit by integrating the repository with authoring workflows and enhanc...
170
click to vote
WWW
2005
ACM
16 years 7 months ago
2005
ACM
The Web has become an excellent source for gathering consumer opinions. There are now numerous Web sites containing such opinions, e.g., customer reviews of products, forums, disc...
155
click to vote
GECCO
2009
Springer
16 years 1 months ago
2009
Springer
The Session Initiation Protocol (SIP) is the de facto standard for user’s session control in the next generation Voice over Internet Protocol (VoIP) networks based on the IP Mul...
204
click to vote
TPHOL
2008
IEEE
16 years 25 days ago
2008
IEEE
g to the well-known “LCF approach” of secure inferences as abstract datatype constructors in ML [16]; explicit proof terms are also available [8]. Isabelle/Isar provides sophis...
166
click to vote
KI
2007
Springer
16 years 18 days ago
2007
Springer
This paper presents a mobile service robot that assists users in biological and pharmaceutical laboratories by carrying out routine jobs such as filling and transportation of micr...