909 search results - page 175 / 182 » Temporal Logic Case Study |
AI
2008
Springer
13 years 8 months ago
2008
Springer
Abduction is a fundamental form of nonmonotonic reasoning that aims at finding explanations for observed manifestations. This process underlies many applications, from car configu...
JKM
2007
13 years 8 months ago
2007
Purpose – The purpose of this paper is to study the influence of organizational environment on the selection of knowledge management strategies. The paper focuses particularly ...
TVLSI
2008
13 years 8 months ago
2008
Abstract--The quantum-dot cellular automata (QCA) model offers a novel nano-domain computing architecture by mapping the intended logic onto the lowest energy configuration of a co...
IFM
2007
Springer
14 years 2 months ago
2007
Springer
Material Flow Abstraction of Manufacturing Systems. ‣Umberto Costa, Ivan de Medeiros Jr and Marcel Oliveira. Specification and Verification of a MPI Implementation for a MP-SoC...
VIS
2009
IEEE
14 years 10 months ago
2009
IEEE
In this paper we describe a novel method to integrate interactive visual analysis and machine learning to support the insight generation of the user. The suggested approach combine...