Sciweavers

5847 search results - page 883 / 1170
» Visualization of Knowledge Structures
Sort
View
126
Voted
ASE
2006
122views more  ASE 2006»
15 years 3 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
BMCBI
2006
84views more  BMCBI 2006»
15 years 3 months ago
Representation of target-bound drugs by computed conformers: implications for conformational libraries
Background: The increasing number of known protein structures provides valuable information about pharmaceutical targets. Drug binding sites are identifiable and suitable lead com...
Stefan Günther, Christian Senger, Elke Michal...
119
Voted
ISCI
2008
67views more  ISCI 2008»
15 years 3 months ago
A multiview approach for intelligent data analysis based on data operators
Multiview intelligent data analysis explores data from different perspectives to reveal various types of structures and knowledge embedded in the data. Each view may capture a spe...
Yaohua Chen, Yiyu Yao
IJHIS
2006
95views more  IJHIS 2006»
15 years 3 months ago
A hybrid system for concept-based web usage mining
A web site should be easy to browse by visitors. However, sometimes the reality is quite different. Situations like several unrelated topics in a single web page may lead to confus...
Sebastián A. Ríos, Juan D. Vel&aacut...
JCST
2008
114views more  JCST 2008»
15 years 3 months ago
Synthesizing Service Composition Models on the Basis of Temporal Business Rules
Transformational approaches to generating design and implementation models from requirements can bring effectiveness and quality to software development. In this paper we present a...
Jian Yu, Yanbo Han, Jun Han, Yan Jin, Paolo Falcar...