Sciweavers

2421 search results - page 284 / 485
» Integrity Assurance Technique Using Determinant Approach
Sort
View
141
Voted
EOR
2007
85views more  EOR 2007»
15 years 4 months ago
Machine reliability and preventive maintenance planning for cellular manufacturing systems
The paper proposes a preventive maintenance (PM) planning model for the performance improvement of cellular manufacturing systems (CMS) in terms of machine reliability, and resour...
K. Das, R. S. Lashkari, S. Sengupta
142
Voted
ICCD
2000
IEEE
120views Hardware» more  ICCD 2000»
15 years 9 months ago
Equivalence Checking Combining a Structural SAT-Solver, BDDs, and Simulation
This paper presents a verification technique for functional comparison of large combinational circuits using a novel combination of known approaches. The idea is based on a tight...
Viresh Paruthi, Andreas Kuehlmann
CIA
2006
Springer
15 years 8 months ago
Improving Example Selection for Agents Teaching Ontology Concepts
Abstract. We present a method to improve the positive examples selection by teaching agents in a multi-agent system in which a team of agent peers teach concepts to a learning agen...
Mohsen Afsharchi, Behrouz H. Far
161
Voted
TMI
1998
137views more  TMI 1998»
15 years 4 months ago
Dynamic Imaging and Tracer Kinetic Modeling for Emission Tomography Using Rotating Detectors
— When performing dynamic studies using emission tomography the tracer distribution changes during acquisition of a single set of projections. This is particularly true for some ...
Chi-Hoi Lau, David Dagan Feng, Brian F. Hutton, Da...
COOPIS
2004
IEEE
15 years 8 months ago
Composing Mappings Between Schemas Using a Reference Ontology
Large-scale database integration requires a significant cost in developing a global schema and finding mappings between the global and local schemas. Developing the global schema r...
Eduard C. Dragut, Ramon Lawrence