Sciweavers

7366 search results - page 1348 / 1474
» Development of the Information Systems Implementation Resear...
Sort
View
KBS
2000
122views more  KBS 2000»
15 years 4 months ago
Creating knowledge maps by exploiting dependent relationships
Knowledge is an interesting concept that has attracted the attention of philosophers for thousands of years. In more recent times, researchers have investigated knowledge in a mor...
John L. Gordon
BMCBI
2008
99views more  BMCBI 2008»
15 years 4 months ago
Exhaustive prediction of disease susceptibility to coding base changes in the human genome
Background: Single Nucleotide Polymorphisms (SNPs) are the most abundant form of genomic variation and can cause phenotypic differences between individuals, including diseases. Ba...
Vinayak Kulkarni, Mounir Errami, Robert Barber, Ha...
TACAS
1998
Springer
81views Algorithms» more  TACAS 1998»
15 years 8 months ago
Formal Design and Analysis of a Gear Controller
In this paper, we report on an application of the validation and veri cation tool kit Uppaal in the design and analysis of a prototype gear controller, carried out in a joint proje...
Magnus Lindahl, Paul Pettersson, Wang Yi
CRV
2006
IEEE
176views Robotics» more  CRV 2006»
15 years 6 months ago
Stereo Retinex
The retinex algorithm for lightness and color constancy is extended to include 3-dimensional spatial information reconstructed from a stereo image. A key aspect of traditional ret...
Weihua Xiong, Brian V. Funt
SIGMOD
2007
ACM
158views Database» more  SIGMOD 2007»
16 years 4 months ago
Log-based recovery for middleware servers
We have developed new methods for log-based recovery for middleware servers which involve thread pooling, private inmemory states for clients, shared in-memory state and message i...
Rui Wang 0002, Betty Salzberg, David B. Lomet
« Prev « First page 1348 / 1474 Last » Next »