Sciweavers

753 search results - page 90 / 151
» Completing a (k - 1)-Assignment
Sort
View
ICALP
2007
Springer
15 years 4 months ago
Parameterized Algorithms for Directed Maximum Leaf Problems
d Abstract) Noga Alon∗ Fedor V. Fomin† Gregory Gutin‡ Michael Krivelevich§ Saket Saurabh¶ We prove that finding a rooted subtree with at least k leaves in a directed grap...
Noga Alon, Fedor V. Fomin, Gregory Gutin, Michael ...
TARK
2007
Springer
15 years 4 months ago
What can we achieve by arbitrary announcements?: A dynamic take on Fitch's knowability
Public announcement logic is an extension of multi-agent epistemic logic with dynamic operators to model the informational consequences of announcements to the entire group of age...
Philippe Balbiani, Alexandru Baltag, Hans P. van D...
CBMS
2006
IEEE
15 years 4 months ago
Evaluation of an Online Analogical Patient Simulation Program
Medulator™, a commercial Web-based, variable response, patient simulation application, was modified to test the effect of case sequencing, explicit case comparison, and user-gen...
Gregory A. Thompson, Robert G. Morrison, Keith J. ...
HICSS
2006
IEEE
169views Biometrics» more  HICSS 2006»
15 years 4 months ago
Bridging the Digital Divide: Feasibility of Training Community Health Advisors to Use the Internet for Health Outreach
We assessed the feasibility of “bridging the digital divide” by training community health advisors (CHAs) from low-income communities to use high-quality Internet-based health...
Thomas K. Houston, Kimberly Robinson, Eta Berner, ...
HICSS
2006
IEEE
129views Biometrics» more  HICSS 2006»
15 years 4 months ago
Improving the Response Time of Business Processes: An Alert-Based Analytical Approach
Large enterprises in application domains such as finance, banking, travel services, and hospital management use business processes for their day-to-day business. An integral part ...
Eleanna Kafeza, Dickson K. W. Chiu, Kamalakar Karl...