Sciweavers

1894 search results - page 264 / 379
» Towards Mobile Reasoning
Sort
View
163
Voted
CSL
2008
Springer
15 years 5 months ago
An Optimal Strategy Improvement Algorithm for Solving Parity and Payoff Games
This paper presents a novel strategy improvement algorithm for parity and payoff games, which is guaranteed to select, in each improvement step, an optimal combination of local str...
Sven Schewe
133
Voted
EWCBR
2008
Springer
15 years 5 months ago
Case-Based Decision Support for Patients with Type 1 Diabetes on Insulin Pump Therapy
Abstract. This paper presents a case-based approach to decision support for diabetes management in patients with Type 1 diabetes on insulin pump therapy. To avoid serious disease c...
Cindy Marling, Jay Shubrook, Frank Schwartz
124
Voted
FLAIRS
2006
15 years 5 months ago
Epistemic Categorization for Analysis of Customer Complaints
We introduce the particular functionality of the Complaint Engine suite, the integrated complaint management component for mediating consumer disputes. We formulate the problem of...
Boris Galitsky, Anca Pascu
135
Voted
ICETE
2004
159views Business» more  ICETE 2004»
15 years 5 months ago
When Business Models Go Bad: The Music Industry's Future
: The music industry is an interesting example for how business models from the pre-Internet area can get into trouble in the new Internet-based economy. Since 2000, the music indu...
Erik Wilde, Jacqueline Schwerzmann
127
Voted
FTCS
1998
79views more  FTCS 1998»
15 years 4 months ago
Proving Correctness of a Controller Algorithm for the RAID Level 5 System
Most RAID controllers implemented in industry are complicated and di cult to reason about. This complexity has led to software and hardware systems that are di cult to debug and h...
Mandana Vaziri, Nancy A. Lynch, Jeannette M. Wing