Sciweavers

3311 search results - page 528 / 663
» Deductive Object Programming
Sort
View
CORR
2006
Springer
91views Education» more  CORR 2006»
14 years 10 months ago
The Complexity of Mean Flow Time Scheduling Problems with Release Times
We study the problem of preemptive scheduling n jobs with given release times on m identical parallel machines. The objective is to minimize the average flow time. We show that wh...
Philippe Baptiste, Peter Brucker, Marek Chrobak, C...
FSS
2006
86views more  FSS 2006»
14 years 10 months ago
An omission approach for detecting outliers in fuzzy regression models
Since Tanaka et al. in 1982 proposed a study in linear regression with a fuzzy model, fuzzy regression analysis has been widely studied and applied in various areas. However, Tana...
Wen-Liang Hung, Miin-Shen Yang
ISCI
2008
96views more  ISCI 2008»
14 years 10 months ago
Fuzzy age-dependent replacement policy and SPSA algorithm based-on fuzzy simulation
An increase in the performance of deteriorating systems can be achieved through the adoption of suitable maintenance policies. One of the most popular maintenance policies is the ...
Jiashun Zhang, Ruiqing Zhao, Wansheng Tang
JAR
2008
89views more  JAR 2008»
14 years 10 months ago
An Extensible Encoding of Object-oriented Data Models in hol
Abstract We present an extensible encoding of object-oriented data models into higherorder logic (HOL). Our encoding is supported by a datatype package that leverages the use of th...
Achim D. Brucker, Burkhart Wolff
83
Voted
JNW
2006
98views more  JNW 2006»
14 years 10 months ago
Efficient Distributed Algorithm for RWA Using Path Protection
A number of Integer Linear Program (ILP) formulations for both static and dynamic lightpath allocation have been proposed, for the design of survivable WDM networks. However, such ...
Arunita Jaekel, Ying Chen