Sciweavers

2490 search results - page 114 / 498
» Complexity of Contextual Reasoning
Sort
View
BMCBI
2010
83views more  BMCBI 2010»
15 years 4 months ago
An effective approach for generating a three-Cys2His2 zinc-finger-DNA complex model by docking
Background: Determination of protein-DNA complex structures with both NMR and X-ray crystallography remains challenging in many cases. High Ambiguity-Driven DOCKing (HADDOCK) is a...
Chun-Chi Chou, M. Rajasekaran, Chinpan Chen
TLDI
2009
ACM
169views Formal Methods» more  TLDI 2009»
16 years 1 months ago
Relational parametricity for references and recursive types
We present a possible world semantics for a call-by-value higherorder programming language with impredicative polymorphism, general references, and recursive types. The model is o...
Lars Birkedal, Kristian Støvring, Jacob Tha...
ICCBR
2007
Springer
15 years 10 months ago
Prototypical Cases for Knowledge Maintenance in Biomedical CBR
Abstract. Representing biomedical knowledge is an essential task in biomedical informatics intelligent systems. Case-based reasoning (CBR) holds the promise of representing context...
Isabelle Bichindaritz
EWCBR
2008
Springer
15 years 6 months ago
Conversational Case-Based Recommendations Exploiting a Structured Case Model
There are case-based recommender systems that generate personalized recommendations for users exploiting the knowledge contained in past recommendation cases. These systems assume ...
Quang Nhat Nguyen, Francesco Ricci
FIS
2008
15 years 6 months ago
e-Services in a Networked World: From Semantics to Pragmatics
Today's economy is a service economy, and an increasing number of services is electronic, i.e. can be ordered and provisioned online. Examples include Internet access, email a...
Jaap Gordijn, Sybren de Kinderen, Vincent Pijpers,...