2752 search results - page 354 / 551 » Rounding to an Integral Program |
147
click to vote
SIGCSE
2005
ACM
16 years 3 days ago
2005
ACM
Universities are increasingly offering courses online. Feedback, assessment, and guidance are important features of this online courseware. Together, in the absence of a human tut...
155
click to vote
CC
2005
Springer
16 years 2 days ago
2005
Springer
Modern processors’ multimedia extensions (MME) provide SIMD ISAs to boost the performance of typical operations in multimedia applications. However, automatic vectorization suppo...
163
click to vote
CP
2005
Springer
16 years 2 days ago
2005
Springer
In this paper, we present an algorithm for finding utilitarian optimal solutions to Simple and Disjunctive Temporal Problems with Preferences (STPPs and DTPPs) based on Benders’...
156
click to vote
GPCE
2005
Springer
16 years 1 days ago
2005
Springer
Abstract. Being able to define and use different aspect languages, including domain-specific aspect languages, to cleanly modularize concerns of a software system represents a v...
168
click to vote
ICDT
2005
ACM
16 years 1 days ago
2005
ACM
Abstract. We survey work on statically type checking XML transformations, covering a wide range of notations and ambitions. The concept of type may vary from idealizations of DTD t...