Sciweavers

831 search results - page 106 / 167
» Coalgebraic Correspondence Theory
Sort
View
IFSA
2007
Springer
147views Fuzzy Logic» more  IFSA 2007»
15 years 6 months ago
On Proofs and Rule of Multiplication in Fuzzy Attribute Logic
Abstract. The paper develops fuzzy attribute logic, i.e. a logic for reasoning about formulas of the form A ⇒ B where A and B are fuzzy sets of attributes. A formula A ⇒ B repr...
Radim Belohlávek, Vilém Vychodil
CIBCB
2006
IEEE
15 years 6 months ago
A Stochastic model to estimate the time taken for Protein-Ligand Docking
Abstract— Quantum mechanics and molecular dynamic simulation provide important insights into structural configurations and molecular interaction data today. To extend this atomi...
Preetam Ghosh, Samik Ghosh, Kalyan Basu, Sajal K. ...
HICSS
2006
IEEE
119views Biometrics» more  HICSS 2006»
15 years 6 months ago
Increasing Relevance of Smoking Cessation Messages in an Online Software Agent Environment
An online software agent that helps smokers quit was designed and tested. We created a library of categorized smoking cessation messages using meta-data corresponding to the Stage...
Todd Shimoda, Linda Stapel
ICRA
2006
IEEE
124views Robotics» more  ICRA 2006»
15 years 5 months ago
Stereo based Obstacle Detection for an Unmanned Air Vehicle
— This paper presents the Visual Threat Awareness (VISTA) system for real time collision obstacle detection for an unmanned air vehicle (UAV). Computational stereo performance ha...
Jeffrey Byrne, Martin Cosgrove, Raman K. Mehra
ICRA
2006
IEEE
108views Robotics» more  ICRA 2006»
15 years 5 months ago
Classifying Knee Pathologies using Instantaneous Screws of the Six Degrees-of-freedom Knee Motion
– We address the problem of knee pathology assessment by using screw theory to describe the knee motion and by using the screw representation of the motion as an input to a machi...
Alon Wolf, Amir Degani