6607 search results - page 1069 / 1322 » Making TeX Work |
156
click to vote
MKM
2007
Springer
16 years 20 days ago
2007
Springer
To be effective and useful, math search systems must not only maximize precision and recall, but also present the query hits in a form that makes it easy for the user to identify...
168
click to vote
OOPSLA
2007
Springer
16 years 20 days ago
2007
Springer
A comfort zone is a tested region of a system’s input space within which it has been observed to behave acceptably. To keep systems operating within their comfort zones, we advo...
234
click to vote
OOPSLA
2007
Springer
16 years 20 days ago
2007
Springer
Developing a general component system for a statically typed, object-oriented language is a challenging design problem for two reasons. First, mutually recursive references across...
183
click to vote
PPAM
2007
Springer
16 years 19 days ago
2007
Springer
Abstract. In order to take full advantage of high-end computing platforms, scientific applications often require modifications to source codes, and to their build systems that ge...
167
click to vote
SEMWEB
2007
Springer
16 years 19 days ago
2007
Springer
Classical ontologies are not suitable to represent imprecise nor uncertain pieces of information. As a solution we will combine fuzzy Description Logics with a possibilistic layer....