4418 search results - page 254 / 884 » A Formal Approach to Computer Systems Requirements Documenta... |
167
click to vote
HYBRID
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. An important class of soft real-time applications require dynamic allocation of computational resources in order to comply with their quality of service (QoS) requirement...
183
click to vote
WSC
2008
15 years 9 months ago
2008
In this paper, we suggest a linear programming formulation that allows for solving volume and capacity planning problems in semiconductor manufacturing systems. We assume a genera...
180
click to vote
AAAI
2006
15 years 8 months ago
2006
Billiards is a game of both strategy and physical skill. To succeed, a player must be able to select strong shots, and then execute them accurately and consistently. Several robot...
154
click to vote
HT
2009
ACM
16 years 1 months ago
2009
ACM
Annals and chronicles may be the foundation of accounting, but writers of stories and histories have long known that they seldom render a satisfactory account of complex events. I...
154
click to vote
RIAO
2000
15 years 8 months ago
2000
We have developed a method for answering single answer questions automatically using a collection of documents or the Internet as a source of data for the production of the answer...