2216 search results - page 124 / 444 » Hedging Structured Concepts |
149
Voted
AAECC
2007
Springer
15 years 5 months ago
2007
Springer
We enhance the dependency pair method in order to prove termination using recursive structure analysis in simply-typed term rewriting systems, which is one of the computational mod...
134
click to vote
NDJFL
2000
15 years 4 months ago
2000
now of a number of ways of developing Real Analysis on a basis of abstraction principles and second-order logic. One, outlined by Shapiro in his contribution to this volume, mimic...
229
Voted
SIGMOD
2006
ACM
16 years 5 months ago
2006
ACM
We present Avatar Semantic Search, a prototype search engine that exploits annotations in the context of classical keyword search. The process of annotations is accomplished offli...
139
click to vote
APSEC
2005
IEEE
15 years 10 months ago
2005
IEEE
In most component models, a software component consists of a functional part and a controller part. The controller part may be extensible; however, existing component models provi...
132
click to vote
ICDE
2005
IEEE
15 years 10 months ago
2005
IEEE
Index tuning as part of database tuning is the task of selecting and creating indexes with the goal of reducing query processing times. However, in dynamic environments with vario...