1536 search results - page 231 / 308 » On the Relation between Interpreted Systems and Kripke Model... |
107
click to vote
WWW
2003
ACM
15 years 10 months ago
2003
ACM
The large amount of information now available on the Web can play a prominent role in building a cooperative intelligent distance learning environment. We propose a system to prov...
110
click to vote
CSB
2005
IEEE
15 years 3 months ago
2005
IEEE
We developed a machine learning system for determining gene functions from heterogeneous sources of data sets using a Weighted Naive Bayesian Network (WNB). The knowledge of gene ...
ECAI
2006
Springer
14 years 11 months ago
2006
Springer
Abstract. In social mechanism design, obligation distribution creates individual or contractual obligations that imply a collective obligation. A distinguishing feature from group ...
101
click to vote
BMCBI
2007
14 years 9 months ago
2007
Background: Manual curation of biological databases, an expensive and labor-intensive process, is essential for high quality integrated data. In this paper we report the implement...
ICSE
2007
IEEE-ACM
15 years 10 months ago
2007
IEEE-ACM
Middleware is a software layer that stands between the networked operating system and the application and provides well known reusable solutions to frequently encountered problems...