Sciweavers

1414 search results - page 86 / 283
» Automated Metamorphic Testing
Sort
View
JAR
2000
97views more  JAR 2000»
13 years 8 months ago
A Deductive Database Approach to Automated Geometry Theorem Proving and Discovering
We report our effort to build a geometry deductive database, which can be used to find the fixpoint for a geometric configuration. The system can find all the properties of the con...
Shang-Ching Chou, Xiao-Shan Gao, Jing-Zhong Zhang
COLING
2010
13 years 4 months ago
Automated Translation of Semantic Relationships
We present a method for translating semantic relationships between languages where relationships are defined as pattern clusters. Given a pattern set which represents a semantic r...
Dmitry Davidov, Ari Rappoport
MICCAI
2003
Springer
14 years 10 months ago
Evaluating the Role of Vision and Force Feedback in Minimally Invasive Surgery: New Automated Laparoscopic Grasper and A Case St
: Conventional laparoscopic tools do not have the ability of providing force feedback to a surgeon during surgical procedures. Loss of haptic feedback in MIS procedures is a disadv...
Gregory Tholey, Jaydev P. Desai, Andres E. Castell...
ISBI
2002
IEEE
14 years 9 months ago
Image content-based retrieval and automated interpretation of fluorescence microscope images via the protein subcellular locatio
We describe the Protein Subcellular Location Image Database (PSLID), which collects and structures 2-D through 5-D fluorescence microscope images, annotations, and derived feature...
Kai Huang, Jennifer Lin, James A. Gajnak, Robert F...
ISBI
2006
IEEE
14 years 9 months ago
Automated super-resolution detection of fluorescent rods in 2D
We describe a method designed to detect fluorescent rods from 2D microscopy images. It is motivated by the desire to study the dynamics of bacteria such as Shigella. The methodolo...
Bo Zhang, Jost Enninga, Jean-Christophe Olivo-Mari...