3909 search results - page 604 / 782 » Extreme Model Checking |
196
click to vote
IPM
2008
15 years 6 months ago
2008
Authorship analysis of electronic texts assists digital forensics and anti-terror investigation. Author identification can be seen as a single-label multi-class text categorizatio...
188
click to vote
JCIT
2008
15 years 6 months ago
2008
Lack of time and capital for software testing is an oft encountered problem in most organizations. The plethora of possible test cases for each software component makes software t...
168
click to vote
CORR
2007
Springer
15 years 6 months ago
2007
Springer
— In contrast to the prevalent assumption of rich multipath in information theoretic analysis of wireless channels, physical channels exhibit sparse multipath, especially at larg...
140
click to vote
DISOPT
2007
15 years 6 months ago
2007
Finding a feasible solution of a given Mixed-Integer Programming (MIP) model is a very important (NP-complete) problem that can be extremely hard in practice. Very recently, Fisch...
126
click to vote
EOR
2007
15 years 6 months ago
2007
Within the economic order quantity (EOQ) framework, the main purpose of this paper is to investigate the retailerÕs optimal replenishment policy under permissible delay in paymen...