Sciweavers

13489 search results - page 255 / 2698
» Self-migration of operating systems
Sort
View
ISER
2000
Springer
151views Robotics» more  ISER 2000»
15 years 10 months ago
Super Mechano-System: New Perspective for Versatile Robotic System
: This paper discusses the general concept of the Super Mechano-System, or SMS and its anticipated applications. The SMS is a new type of robot system, which can transform its shap...
Shigeo Hirose
SOSP
1997
ACM
15 years 8 months ago
The Flux OSKit: A Substrate for Kernel and Language Research
Implementing new operating systems is tedious, costly, and often impractical except for large projects. The Flux OSKit addresses this problem in a novel way by providing clean, we...
Bryan Ford, Godmar Back, Greg Benson, Jay Lepreau,...
AIR
2005
102views more  AIR 2005»
15 years 6 months ago
A Case-Based Explanation System for Black-Box Systems
Most users of machine-learning products are reluctant to use the systems without any sense of the underlying logic that has led to the system's predictions. Unfortunately many...
Conor Nugent, Padraig Cunningham
QUESTA
2007
111views more  QUESTA 2007»
15 years 6 months ago
Queues with system disasters and impatient customers when system is down
Consider a system (e.g. a computer farm or a call center) operating as a M/M/c queue, where c = 1, or 1 < c < ∞, or c = ∞. The system as a whole suffers disastrous break...
Uri Yechiali
CADE
2008
Springer
15 years 8 months ago
LogAnswer - A Deduction-Based Question Answering System (System Description)
LogAnswer is an open domain question answering system which employs an automated theorem prover to infer correct replies to natural language questions. For this purpose LogAnswer o...
Ulrich Furbach, Ingo Glöckner, Hermann Helbig...