10038 search results - page 1518 / 2008 » Model Checking for Managers |
170
click to vote
WSC
2000
15 years 8 months ago
2000
In 1999, Kellogg Company needed to rationalize its area manufacturing capacity. A significant portion of the production was moved between Kellogg manufacturing plants. Simulation ...
180
click to vote
TITB
2010
15 years 1 months ago
2010
Thoracic electrical impedance tomography (EIT) is a noninvasive, radiation-free monitoring technique whose aim is to reconstruct a cross-sectional image of the internal spatial dis...
291
click to vote
ICDE
2002
IEEE
16 years 8 months ago
2002
IEEE
Besides being adopted as the new interchange format for the Internet, XML is finding increasing acceptance as a native data repository language. In order to make XML repositories ...
188
click to vote
ICPR
2006
IEEE
16 years 8 months ago
2006
IEEE
Speech recognition is usually based on Hidden Markov Models (HMMs), which represent the temporal dynamics of speech very efficiently, and Gaussian mixture models, which do non-opt...
337
click to vote
GIS
2006
ACM
16 years 7 months ago
2006
ACM
The W3C's Semantic Web Activity is illustrating the use of semantics for information integration, search, and analysis. However, the majority of the work in this community ha...