3082 search results - page 435 / 617 » its 2004 |
162
click to vote
RT
2004
Springer
16 years 7 days ago
2004
Springer
Self-shadowing is an important factor in the appearance of hair and fur. In this paper we present a new rendering algorithm to accurately compute shadowed hair at interactive rate...
190
click to vote
RULEML
2004
Springer
16 years 7 days ago
2004
Springer
RuleML and SWRL are closely related rule markup languages that are growing in popularity particularly within the Semantic Web community. Both are based on XML and as such are more ...
170
click to vote
SAS
2004
Springer
16 years 7 days ago
2004
Springer
Program generation is among the most promising techniques in the effort to increase the automation of programming tasks. In this paper, we discuss the potential impact and resear...
186
click to vote
SAS
2004
Springer
16 years 7 days ago
2004
Springer
Array-Range Analysis computes at compile time the range of possible index values for each array-index expression in a program. This information can be used to detect potential out-...
168
click to vote
SAT
2004
Springer
16 years 7 days ago
2004
Springer
Abstract. During the recent years, the development of tools for deciding Quantified Boolean Formulas (QBFs) has been accompanied by a steady supply of real-world instances, i.e., ...