Sciweavers

20066 search results - page 3850 / 4014
» T Spaces
Sort
View
WSC
1997
15 years 7 months ago
Success Stories in Simulation in Health Care
Healthcare is a rapidly changing industry, and facilities are struggling to find tools to enhance their ability to keep up with the change. Healthcare staff have generally adapted...
Catherine Drury Barnes, Joaquin L. Quiason, Carson...
AAAI
1993
15 years 7 months ago
On the Adequateness of the Connection Method
Roughly speaking, adequatness is the property of a theorem proving method to solve simpler problems faster than more difficult ones. Automated inferencing methods are often not ad...
Antje Beringer, Steffen Hölldobler
IJCAI
1993
15 years 7 months ago
A New Logical framework for Deductive Planning
objects, like elements of (abstract) data types in ordinary programming languages In the theory of abstract data types most often one only considers algebraic structures where all ...
Werner Stephan, Susanne Biundo
ISMB
1993
15 years 7 months ago
Pattern Discovery in Gene Regulation: Designing an Analysis Environment
Interactions that determinecellular fate are exceedingly complex, can take place at different levels of gene regulation and involve a large numberof components(such as genes, prot...
Stella Veretnik, Bruce R. Schatz
NIPS
1996
15 years 7 months ago
Predicting Lifetimes in Dynamically Allocated Memory
Predictions oflifetimesofdynamicallyallocated objects can be used to improve time and space e ciency of dynamic memory management in computer programs. Barrett and Zorn 1993] used...
David A. Cohn, Satinder P. Singh
« Prev « First page 3850 / 4014 Last » Next »