Sciweavers

1855 search results - page 211 / 371
» System Consequence
Sort
View
HAPTICS
2005
IEEE
15 years 10 months ago
Force Feedback Interface for Cell Injection
Manual pronuclei injection and intracytoplasmic sperm injection (ICSI) requires long training and has low success rates primarily due to poor control over the injection force. Con...
Anand Pillarisetti, Waqas Anjum, Jaydev P. Desai, ...
AIED
2005
Springer
15 years 10 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
ATAL
2005
Springer
15 years 10 months ago
Formalising trust for online communities
Provision of services within a virtual framework for resource sharing across institutional boundaries has become an active research area. Many such services encode access to compu...
Ali Shaikh Ali, Omer F. Rana
129
Voted
BERTINORO
2005
Springer
15 years 10 months ago
Design and Analysis of a Bio-inspired Search Algorithm for Peer to Peer Networks
Decentralized peer to peer (p2p) networks like Gnutella are attractive for certain applications because they require no centralized directories and no precise control over network ...
Niloy Ganguly, Lutz Brusch, Andreas Deutsch
FASE
2005
Springer
15 years 10 months ago
Iterative Circular Coinduction for CoCasl in Isabelle/HOL
Abstract. Coalgebra has in recent years been recognized as the framework of choice for the treatment of reactive systems at an appropriate level of generality. Proofs about the rea...
Daniel Hausmann, Till Mossakowski, Lutz Schrö...