3828 search results - page 358 / 766 » Proof-Based System Engineering Using a Virtual System Model |
180
click to vote
IUI
2005
ACM
16 years 8 days ago
2005
ACM
This paper describes an Intelligent Shopping Assistant designed for a shopping cart mounted tablet PC that enables individual interactions with customers. We use machine learning ...
278
click to vote
ASPLOS
2009
ACM
16 years 7 months ago
2009
ACM
In a virtualized environment, device drivers are often run inside a virtual machine (VM) rather than in the hypervisor, for reasons of safety and reduction in software engineering...
186
click to vote
AAAI
2011
14 years 6 months ago
2011
Analogy is heavily used in instructional texts. We introduce the concept of analogical dialogue acts (ADAs), which represent the roles utterances play in instructional analogies. ...
187
click to vote
IUI
2010
ACM
16 years 3 months ago
2010
ACM
In this paper, we present SmartCal, a calendar assistant that suggests appointment attributes, such as time, day, duration, etc., given any combination of initial user input attri...
316
click to vote
AOIS
2006
15 years 8 months ago
2006
Agents can freely migrate among open MASs in order to obtain resources or services not found locally. In this scenario, agent actions should be guided for avoiding unexpected behav...