Sciweavers

9015 search results - page 140 / 1803
» Using Structural Computing to Support Information Integratio...
Sort
View
JAR
1998
134views more  JAR 1998»
15 years 2 months ago
Integrating Computer Algebra into Proof Planning
Mechanized reasoning systems and computer algebra systems have different objectives. Their integration is highly desirable, since formal proofs often involve both of the two differ...
Manfred Kerber, Michael Kohlhase, Volker Sorge
CONCURRENCY
2007
125views more  CONCURRENCY 2007»
15 years 3 months ago
VLab: collaborative Grid services and portals to support computational material science
: We present the initial architecture and implementation of VLab, a Grid and Web Service-based system for enabling distributed and collaborative computational chemistry and materia...
Mehmet A. Nacar, Mehmet S. Aktas, Marlon E. Pierce...
HICSS
2007
IEEE
161views Biometrics» more  HICSS 2007»
15 years 9 months ago
Helping Knowledge Cross Boundaries: Using Knowledge Visualization to Support Cross-Community Sensemaking
Knowledge sharing across community boundaries has been discussed in literature as an important source of new knowledge and innovation. Different studies point out the difficulties...
Jasminko Novak
BMCBI
2008
116views more  BMCBI 2008»
15 years 3 months ago
Gene Ontology annotations: what they mean and where they come from
To address the challenges of information integration and retrieval, the computational genomics community increasingly has come to rely on the methodology of creating annotations o...
David P. Hill, Barry Smith, Monica S. McAndrews-Hi...
INFOVIS
2005
IEEE
15 years 8 months ago
Revealing Structure within Clustered Parallel Coordinates Displays
In order to gain insight into multivariate data, complex structures must be analysed and understood. Parallel coordinates is an excellent tool for visualizing this type of data bu...
Jimmy Johansson, Patric Ljung, Mikael Jern, Matthe...