Sciweavers

345 search results - page 34 / 69
» GraphML Progress Report
Sort
View
JAR
2000
97views more  JAR 2000»
14 years 11 months ago
A Deductive Database Approach to Automated Geometry Theorem Proving and Discovering
We report our effort to build a geometry deductive database, which can be used to find the fixpoint for a geometric configuration. The system can find all the properties of the con...
Shang-Ching Chou, Xiao-Shan Gao, Jing-Zhong Zhang
IDA
2002
Springer
14 years 11 months ago
A framework for modelling virus gene expression data
Short, high-dimensional, Multivariate Time Series (MTS) data are common in many fields such as medicine, finance and science, and any advance in modelling this kind of data would b...
Paul Kellam, Xiaohui Liu, Nigel J. Martin, Christi...
CN
1998
118views more  CN 1998»
14 years 11 months ago
Adaptive web caching: towards a new global caching architecture
An adaptive, highly scalable, and robust web caching system is needed to effectively handle the exponential growth and extreme dynamic environment of the World Wide Web. Our work ...
B. Scott Michel, Khoi Nguyen, Adam Rosenstein, Lix...
JSS
2002
67views more  JSS 2002»
14 years 11 months ago
Fundamental principles of software engineering - a journey
A set of fundamental principles can act as an enabler in the establishment of a discipline; however, software engineering still lacks a set of universally recognized fundamental p...
Pierre Bourque, Robert Dupuis, Alain Abran, James ...
JSS
2002
128views more  JSS 2002»
14 years 11 months ago
The cost of errors in software development: evidence from industry
The search for and correction of errors in software are often time consuming and expensive components of the total cost of software development. The current research investigates ...
J. Christopher Westland