Sciweavers

1941 search results - page 150 / 389
» DNA Computing Approach to Construction of Semantic Model
Sort
View
151
Voted
WM
2003
15 years 6 months ago
Worlds, Models, and KM
Techniques for computation on generalized diagrams are defined and the KM implications are explored. Descriptive Computing is presented and plan computation based on world models t...
Cyrus F. Nourani
149
Voted
JLP
2000
134views more  JLP 2000»
15 years 4 months ago
Abducing through negation as failure: stable models within the independent choice logic
The independent choice logic (ICL) is part of a project to combine logic and decision/game theory into a coherent framework. The ICL has a simple possible-worlds semantics charact...
David Poole
DATE
2006
IEEE
114views Hardware» more  DATE 2006»
15 years 11 months ago
An efficient static algorithm for computing the soft error rates of combinational circuits
Soft errors have emerged as an important reliability challenge for nanoscale VLSI designs. In this paper, we present a fast and efficient soft error rate (SER) computation algorit...
Rajeev R. Rao, Kaviraj Chopra, David Blaauw, Denni...
ICIAR
2007
Springer
15 years 11 months ago
Image Retrieval Using Transaction-Based and SVM-Based Learning in Relevance Feedback Sessions
This paper introduces a composite relevance feedback approach for image retrieval using transaction-based and SVM-based learning. A transaction repository is dynamically constructe...
Xiaojun Qi, Ran Chang
ECAI
2010
Springer
15 years 6 months ago
Foundations of Tree-like Local Model Updates
Abstract. Model update is an approach to enhance model checking functions by providing computer aided modifications in system development [2, 9]. It has been observed that one majo...
Yan Zhang, Michael Kelly, Yi Zhou