Sciweavers

1541 search results - page 28 / 309
» Learning to Diagnose by Doing
Sort
View
ICCAD
2008
IEEE
151views Hardware» more  ICCAD 2008»
14 years 5 months ago
Race analysis for SystemC using model checking
—SystemC is a system-level modeling language that offers a wide range of features to describe concurrent systems rent levels of abstraction. The SystemC standard permits simulato...
Nicolas Blanc, Daniel Kroening
NOMS
2008
IEEE
132views Communications» more  NOMS 2008»
14 years 2 months ago
DYSWIS: An architecture for automated diagnosis of networks
As the complexity of networked systems increases, we need mechanisms to automatically detect failures in the network and diagnose the cause of such failures. To realize true self-...
Vishal Kumar Singh, Henning Schulzrinne, Kai Miao
AIED
2005
Springer
14 years 1 months ago
Analyzing Completeness and Correctness of Utterances Using an ATMS
Analyzing coverage of a student’s utterance or essay (completeness) and diagnosing errors (correctness) can be treated as a diagnosis problem and solved using a well-known techni...
Maxim Makatchev, Kurt VanLehn
ISMS
2004
Springer
14 years 1 months ago
Design, Development, and Testing of an Automated Laparoscopic Grasper with 3-D Force Measurement Capability
Advancements in robotics have led to significant improvements in robot-assisted minimally invasive surgery. The use of these robotic systems has improved surgeon dexterity, reduced...
Gregory Tholey, Anand Pillarisetti, William Green,...
IUI
2003
ACM
14 years 1 months ago
End-user debugging for e-commerce
One of the biggest unaddressed challenges for the digital economy is what to do when electronic transactions go wrong. Consumers are frustrated by interminable phone menus, and lo...
Henry Lieberman, Earl Wagner