1689 search results - page 225 / 338 » On Natural Non-dcpo Domains |
167
click to vote
ICCAD
2005
IEEE
15 years 12 months ago
2005
IEEE
As power density increases exponentially, runtime regulation of operating temperature by dynamic thermal managements becomes necessary. This paper proposes a novel approach to the...
178
click to vote
ICMCS
2005
IEEE
15 years 12 months ago
2005
IEEE
Modeling visual concepts using supervised or unsupervised machine learning approaches are becoming increasing important for video semantic indexing, retrieval, and filtering appli...
156
click to vote
ICPADS
2005
IEEE
15 years 12 months ago
2005
IEEE
PageRank becomes the most well-known re-ranking technique of the search results. By its iterative computational nature, the computation takes much computing time and resource. Res...
173
click to vote
ICSM
2005
IEEE
15 years 12 months ago
2005
IEEE
In this ever changing business environment, business processes are constantly being customized to reflect the up-to-date organizational structure and business objectives. Technolo...
189
click to vote
ISORC
2005
IEEE
15 years 12 months ago
2005
IEEE
As complexity of real-time embedded software grows, it is desirable to use formal verification techniques to achieve a high level of assurance. We discuss application of model-ch...