11200 search results - page 584 / 2240 » An Object-oriented Optimization System |
181
click to vote
ASPDAC
2000
ACM
15 years 11 months ago
2000
ACM
Symbolic debuggers are system development tools that can accelerate the validation speed of behavioral specifications by allowing a user to interact with an executing code at the ...
170
click to vote
VLDB
1993
ACM
15 years 11 months ago
1993
ACM
Although scientific data analysis increasingly requires accessandmanipulation of large quantitiesof data,current databasetechnology fails to meet the needsof scientific processing...
184
click to vote
KDD
2010
ACM
15 years 11 months ago
2010
ACM
In this paper, we propose and develop a novel approach to the problem of optimally managing the tax, and more generally debt, collections processes at financial institutions. Our...
182
click to vote
WSC
2007
15 years 9 months ago
2007
In this paper we introduce the completed unit algorithm (CU-AL), a probabilistic scheduling methodology for repetitive projects. The algorithm has two main advantages, simplicity ...
165
click to vote
ICWN
2003
15 years 8 months ago
2003
Wireless multi carrier approaches can support the simultaneous transmissions to several wireless terminals, each one getting only some of the available subcarriers. Judiciously ass...