Sciweavers

2371 search results - page 255 / 475
» Multivariable Utility Functions
Sort
View
VISUAL
2000
Springer
15 years 10 months ago
Content-Based Image Retrieval by Relevance Feedback
Relevance feedback is a powerful technique for content-based image retrieval. Many parameter estimation approaches have been proposed for relevance feedback. However, most of them ...
Zhong Jin, Irwin King, Xuequn Li
ICDAR
1995
IEEE
15 years 10 months ago
Tools for interactive map conversion and vectorization
The process of converting an analog map into structured digitized information requires several di erent operations, which are all time-consuming when performed manually. Strictly ...
Line Eikvil, Kjersti Aas, Hans Koren
MPC
1995
Springer
116views Mathematics» more  MPC 1995»
15 years 10 months ago
Computer-Aided Computing
PVS is a highly automated framework for speci cation and veri cation. We show how the language and deduction features of PVS can be used to formalize, mechanize, and apply some us...
Natarajan Shankar
155
Voted
DLOG
2007
15 years 8 months ago
Adding ABoxes to a Description Logic with Uniqueness Constraints via Path Agreements
We now know that the addition of a concept constructor called a Path Functional Dependency (PFD) to the Boolean-complete description logic DLF leads to undecidability of ABox consi...
Vitaliy L. Khizder, David Toman, Grant E. Weddell
WSC
2007
15 years 8 months ago
Determining safety stocks in the presence of workload-dependent lead times
Most classical stochastic inventory models assume that replenishment lead times are independent of the amount of orders placed. This assumption is clearly problematic in capacitat...
Seza Orcun, Sila Çetinkaya, Reha Uzsoy