Sciweavers

9284 search results - page 78 / 1857
» Knowledge State Algorithms
Sort
View
AI
2007
Springer
15 years 2 months ago
Learning action models from plan examples using weighted MAX-SAT
AI planning requires the definition of action models using a formal action and plan description language, such as the standard Planning Domain Definition Language (PDDL), as inp...
Qiang Yang, Kangheng Wu, Yunfei Jiang
146
Voted
APN
2000
Springer
15 years 6 months ago
Efficient Symbolic State-Space Construction for Asynchronous Systems
Many techniques for the verification of reactive systems rely on the analysis of their reachable state spaces. In this paper, a new algorithm for the symbolic generation of the sta...
Gianfranco Ciardo, Gerald Lüttgen, Radu Simin...
99
Voted
ISCAS
2002
IEEE
109views Hardware» more  ISCAS 2002»
15 years 7 months ago
State space blind source recovery for mixtures of multiple source distributions
The paper discusses State Space Blind Source Recovery (BSR) for minimum phase and non-minimum phase mixtures of gaussian and non-gaussian distributions. The State Space Natural Gr...
Khurram Waheed, Fathi M. Salam
HICSS
2006
IEEE
120views Biometrics» more  HICSS 2006»
15 years 8 months ago
Systems Thinking and Information Literacy: Elements of a Knowledge Enabling Workplace Environment
Dynamic technology-driven circumstances fortify academic librarians’ reconsideration of their professional purposes, processes and relationships. In response, California Polytec...
Mary M. Somerville, Anita Mirijamdotter, Lydia Col...
DGO
2004
112views Education» more  DGO 2004»
15 years 3 months ago
Exploration and Exploitation: Knowledge Sharing in Digital Government Projects
This paper examines knowledge sharing processes in digital government projects (DGPs). Although knowledge sharing processes are a central feature of the functioning of government,...
Maria Christina Binz-Scharf