Sciweavers

2830 search results - page 360 / 566
» No Science without Semantics
Sort
View
LICS
2008
IEEE
15 years 10 months ago
A Neutral Approach to Proof and Refutation in MALL
We propose a setting in which the search for a proof of B or a refutation of B (a proof of ¬B) can be carried out simultaneously: this is in contrast to the usual approach in aut...
Olivier Delande, Dale Miller
HICSS
2007
IEEE
123views Biometrics» more  HICSS 2007»
15 years 10 months ago
Dynamic Address Allocation for Management and Control in Wireless Sensor Networks
Several data-centric communication paradigms have been proposed in the domain of wireless sensor networks (WSN). Therefore, the principles of operation and maintenance in such net...
Zheng Yao, Falko Dressler
HICSS
2007
IEEE
97views Biometrics» more  HICSS 2007»
15 years 10 months ago
Decision Support in Health Care via Root Evidence Sampling
— Bayesian networks play a key role in decision support within health care. Physicians rely on Bayesian networks to give medical treatment, generate what-if scenarios, and other ...
Benjamin B. Perry, Eli Faulkner
HICSS
2007
IEEE
174views Biometrics» more  HICSS 2007»
15 years 10 months ago
A Comparison of Statistical Approaches for Genetic Anticipation with Application to Pancreatic Cancer
Genetic anticipation for a particular disease can involve an earlier age at onset (or, diagnosis), greater severity, and/or a higher number of affected individuals in successive g...
Gleb R. Haynatzki, Randall E. Brand, Vera R. Hayna...
132
Voted
HICSS
2007
IEEE
109views Biometrics» more  HICSS 2007»
15 years 10 months ago
Towards Reliable Computation of Large-Scale Market-Based Optimal Power Flow
The deregulated electricity market calls for robust OPF tools that can provide (a) deterministic convergence, (b) accurate computation of a variety of nodal prices, (c) support of...
Hongye Wang, Robert J. Thomas