9067 search results - page 1494 / 1814 » Adaptive Model Checking |
210
click to vote
GRAPHICSINTERFACE
2001
15 years 8 months ago
2001
We present a novel aging technique that simulates the deformation of an object caused by repetitive impacts over long periods of time. Our semi-automatic system deteriorates the s...
169
click to vote
ECIS
2003
15 years 8 months ago
2003
This study adopts a stakeholder analysis to examine stakeholders’ roles and contributions in influencing organizational decisions to abandon information systems (IS) development...
227
click to vote
FLAIRS
2003
15 years 8 months ago
2003
This paper presents a way of improving computerbased with lifelike presence in learning environment. The approach combines Intelligent Tutoring Systems with research on human emot...
196
click to vote
NIPS
2004
15 years 8 months ago
2004
We present an algorithm to perform blind, one-microphone speech separation. Our algorithm separates mixtures of speech without modeling individual speakers. Instead, we formulate ...
215
click to vote
NIPS
2004
15 years 8 months ago
2004
In the multi-armed bandit problem, an online algorithm must choose from a set of strategies in a sequence of n trials so as to minimize the total cost of the chosen strategies. Wh...