Sciweavers

3571 search results - page 530 / 715
» On the Power of Imperfect Information
Sort
View
KES
2004
Springer
15 years 12 months ago
Epistemic Logic and Planning
Artificial Intelligence algorithms can be divided into two groups according to the type of problems they solve. Knowledge-intensive domains contain explicit knowledge, whereas know...
Shahin Maghsoudi, Ian Watson
SPIN
2004
Springer
15 years 12 months ago
Model-Driven Software Verification
Abstract. In the classic approach to logic model checking, software verification requires a manually constructed artifact (the model) to be written in the language that is accepted...
Gerard J. Holzmann, Rajeev Joshi
SSPR
2004
Springer
15 years 12 months ago
An MCMC Feature Selection Technique for Characterizing and Classifying Spatial Region Data
We focus on characterizing spatial region data when distinct classes of structural patterns are present. We propose a novel statistical approach based on a supervised framework for...
Despina Kontos, Vasileios Megalooikonomou, Marc J....
HICSS
2010
IEEE
156views Biometrics» more  HICSS 2010»
15 years 12 months ago
Tacit Knowledge Flows and Institutional Theory: Accelerating Acculturation
Knowledge is key to sustainable competitive advantage, but different kinds of knowledge affect competitive advantage differently. This applies especially to the environment of inc...
Alicemary Aspell Adams, June G. Chin Yi Lee, Mark ...
DATE
2003
IEEE
128views Hardware» more  DATE 2003»
15 years 12 months ago
Flexible and Formal Modeling of Microprocessors with Application to Retargetable Simulation
Given the growth in application-specific processors, there is a strong need for a retargetable modeling framework that is capable of accurately capturing complex processor behavi...
Wei Qin, Sharad Malik