Sciweavers

11462 search results - page 1938 / 2293
» Developing Application-Centric Methods
Sort
View
CSC
2006
15 years 8 months ago
Simulation for Helium Atom Scattering From Stepped Surfaces
-- A computer program has been developed to simulate the helium atom scattering from stepped surface for both up hill and down hill scattering with diffraction kinematics chosen to...
Alauddin Ahmed, Ahmed Ryadh Hasan, Durdana Islam, ...
DLOG
2006
15 years 8 months ago
Model checking the basic modalities of CTL with Description Logic
Abstract. Model checking is a fully automated technique for determining whether the behaviour of a finite-state reactive system satisfies a temporal logic specification. Despite th...
Shoham Ben-David, Richard J. Trefler, Grant E. Wed...
DMIN
2006
144views Data Mining» more  DMIN 2006»
15 years 8 months ago
Discovering Assignment Rules in Workforce Schedules Using Data Mining
Discovering hidden patterns in large sets of workforce schedules to gain insight into the potential knowledge in workforce schedules are crucial to better understanding the workfor...
Jihong Yan
FLAIRS
2004
15 years 8 months ago
Intelligent Control of Closed-Loop Sedation in Simulated ICU Patients
The intensive care unit is a challenging environment to both patient and caregiver. Continued shortages in staffing, principally in nursing, increase risk to patient and healthcar...
Brett L. Moore, Eric D. Sinzinger, Todd M. Quasny,...
FLAIRS
2004
15 years 8 months ago
Mining On-line Sources for Definition Knowledge
Finding definitions in huge text collections is a challenging problem, not only because of the many ways in which definitions can be conveyed in natural language texts but also be...
Horacio Saggion, Robert J. Gaizauskas
« Prev « First page 1938 / 2293 Last » Next »