190 search results - page 3 / 38 » Generic models in the advanced IRCM assessment model |
75
Voted
INTELLCOMM
2004
Springer
15 years 2 months ago
2004
Springer
This paper discusses models of generic mobile services. The goal is to gain understanding of the challenges in designing, developing and deploying advanced mobile data services. Fi...
SIGDIAL
2010
14 years 7 months ago
2010
Dialog modeling in robotics suffers from lack of generalizability, due to the fact that the dialog is heavily influenced by the tasks the robot is able to perform. We introduce in...
95
Voted
TAMODIA
2007
14 years 10 months ago
2007
Mixed Interactive Systems (MIS) is a generic term encompassing mixed and augmented reality, augmented virtuality, and tangible interfaces systems. The work we present in this paper...
CADE
2007
Springer
15 years 9 months ago
2007
Springer
This paper presents an overview of the verication framework ALICE in its current version 0.7. It is based on the generic theorem prover Isabelle [Pau03a]. Within ALICE a software o...
EEE
2005
IEEE
15 years 3 months ago
2005
IEEE
With the advance of E-Commerce over Web-based information, the interoperability of isolated XML repositories and databases over the Internet has drawn an increasing interest recen...