Sciweavers

2474 search results - page 419 / 495
» Using Knowledge Management Systems to Structure Knowledgeabl...
Sort
View
ASE
2006
122views more  ASE 2006»
13 years 9 months ago
Combining Proof Plans with Partial Order Planning for Imperative Program Synthesis
The structured programming literature provides methods and a wealth of heuristic knowledge for guiding the construction of provably correct imperative programs. We investigate the...
Andrew Ireland, Jamie Stark
NN
2006
Springer
13 years 9 months ago
Self-organizing neural networks to support the discovery of DNA-binding motifs
Identification of the short DNA sequence motifs that serve as binding targets for transcription factors is an important challenge in bioinformatics. Unsupervised techniques from t...
Shaun Mahony, Panayiotis V. Benos, Terry J. Smith,...
SEMWEB
2010
Springer
13 years 7 months ago
Combining Approximation and Relaxation in Semantic Web Path Queries
We develop query relaxation techniques for regular path queries and combine them with query approximation in order to support flexible querying of RDF data when the user lacks know...
Alexandra Poulovassilis, Peter T. Wood
ICIS
1997
13 years 10 months ago
A case study of user participation in the information systems development process
There are many in the information systemsdiscipline who believe that user participation is necessary for successful systems development. However, it has been suggested that this b...
Thomas Butler, Brian Fitzgerald
ATAL
2007
Springer
14 years 3 months ago
Towards a Framework for Agent Coordination and Reorganization, AgentCoRe
Abstract. Research in the area of Multi-Agent System (MAS) organization has shown that the ability for a MAS to adapt its organizational structure can be beneficial when coping wi...
Mattijs Ghijsen, Wouter N. H. Jansweijer, Bob J. W...