Sciweavers

620 search results - page 79 / 124
» Verification and Validation and Artificial Intelligence
Sort
View
ICAT
2007
IEEE
14 years 19 days ago
Direct-Projected AR Based Interactive User Interface for Medical Surgery
In the field of computer aided surgery, augmented reality (AR) technology has been successfully used for enhancing accuracy of surgery and making surgeons convenient by visually a...
Byung-Kuk Seo, Moon-Hyun Lee, Hanhoon Park, Jong-I...
CP
2006
Springer
14 years 14 days ago
Retroactive Ordering for Dynamic Backtracking
Dynamic Backtracking (DBT) is a well known algorithm for solving Constraint Satisfaction Problems. In DBT, variables are allowed to keep their assignment during backjump, if they a...
Roie Zivan, Uri Shapen, Moshe Zazone, Amnon Meisel...
DIAGRAMS
2006
Springer
14 years 13 days ago
The Mathematics of Boundaries: A Beginning
The intuitive properties of configurations of planar non-overlapping closed curves (boundaries) are presented as a pure boundary mathematics. The mathematics, which is not incorpor...
William Bricken
EVOW
2006
Springer
14 years 13 days ago
Functional Classification of G-Protein Coupled Receptors, Based on Their Specific Ligand Coupling Patterns
Functional identification of G-Protein Coupled Receptors (GPCRs) is one of the current focus areas of pharmaceutical research. Although thousands of GPCR sequences are known, many ...
Burcu Bakir, Osman Ugur Sezerman
PRICAI
2000
Springer
14 years 10 days ago
Text Retrieval from Document Images based on N-Gram Algorithm
In this paper, we propose a method of text retrieval from document images using a similarity measure based on an N-Gram algorithm. We directly extract image features instead of us...
Chew Lim Tan, Sam Yuan Sung, Zhaohui Yu, Yi Xu