Sciweavers

111 search results - page 6 / 23
» A Value Supplementation Method for Case Bases with Incomplet...
Sort
View
JCIT
2010
199views more  JCIT 2010»
13 years 2 months ago
Grey Relational Analysis Method for Multiple Attribute Decision Making in Intuitionistic Fuzzy Setting
The aim of this paper is to investigate the multiple attribute decision making problems with intuitionistic fuzzy information, in which the information about attribute weights is ...
Juchi Hou
DATE
2002
IEEE
102views Hardware» more  DATE 2002»
14 years 15 days ago
Library Compatible Ceff for Gate-Level Timing
Accurate gate-level static timing analysis in the presence of RC loads has become an important problem for modern deep-submicron designs. Non-capacitive loads are usually analyzed...
Bernard N. Sheehan
ICAIL
2007
ACM
13 years 11 months ago
The Ontology of Legal Possibilities and Legal Potentialities
Ontologies in a legal expert system must be processed to suit all possible user cases within the field of law of the system. From the logical premises of a deductive system of expr...
Pamela N. Gray
FORTE
2004
13 years 9 months ago
Symbolic Diagnosis of Partially Observable Concurrent Systems
Abstract. Monitoring large distributed concurrent systems is a challenging task. In this paper we formulate (model-based) diagnosis by means of hidden state history reconstruction,...
Thomas Chatain, Claude Jard
IWPC
1999
IEEE
13 years 12 months ago
Recovery of Jump Table Case Statements from Binary Code
One of the fundamental problems with the static analysis of binary (executable) code is that7 of recognizing, in a machine-independent way, the target addresses of n-conditional b...
Cristina Cifuentes, Mike Van Emmerik