Sciweavers

799 search results - page 156 / 160
» Refinement and Separation Contexts
Sort
View
84
Voted
JSA
2008
108views more  JSA 2008»
14 years 9 months ago
A methodology to design arbitrary failure detectors for distributed protocols
Nowadays, there are many protocols able to cope with process crashes, but, unfortunately, a process crash represents only a particular faulty behavior. Handling tougher failures (...
Roberto Baldoni, Jean-Michel Hélary, Sara T...
MIS
2008
Springer
149views Multimedia» more  MIS 2008»
14 years 9 months ago
Home-Explorer: Ontology-based physical artifact search and hidden object detection system
A new system named Home-Explorer that searches and finds physical artifacts in a smart indoor environment is proposed. The view on which it is based is artifact-centered and uses s...
Bin Guo, Satoru Satake, Michita Imai
59
Voted
MANSCI
2006
70views more  MANSCI 2006»
14 years 9 months ago
Modeling the "Pseudodeductible" in Insurance Claims Decisions
In many different managerial contexts, consumers "leave money on the table" by, for example, their failure to claim rebates, use available coupons, and so on. This proje...
Michael Braun, Peter S. Fader, Eric T. Bradlow, Ho...
AC
2005
Springer
14 years 9 months ago
The state of artificial intelligence
Artificial intelligence has been an active branch of research for computer scientists and psychologists for 50 years. The concept of mimicking human intelligence in a computer fue...
Adrian A. Hopgood
TMI
2008
91views more  TMI 2008»
14 years 9 months ago
MRI-Based Automated Computer Classification of Probable AD Versus Normal Controls
Automated computer classification (ACC) techniques are needed to facilitate physician's diagnosis of complex diseases in individual patients. We provide an example of ACC usin...
Simon Duchesne, A. Caroli, C. Geroldi, Christian B...