4698 search results - page 166 / 940 » Making Functionality More General |
105
Voted
ERCIMDL
2005
Springer
15 years 9 months ago
2005
Springer
XML is becoming the standard representation format for metadata. Metadata for multimedia documents, as for instance MPEG-7, require approximate match search functionalities to be s...
125
Voted
IANDC
2007
15 years 3 months ago
2007
The Tyrolean Termination Tool (TTT for short) is a powerful tool for automatically proving termination of rewrite systems. It incorporates several new refinements of the dependen...
129
Voted
JUCS
2010
15 years 2 months ago
2010
: Assigning one (more) shared resource(s) to several requesters is a function of arbiters (allocators). This class of decision-making modules can be implemented in a number of ways...
107
Voted
ICTIR
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. Most of the previous research on term weighting for information retrieval has focused on developing specialized parametric term weighting functions. Examples include TF.I...
134
Voted
AGTIVE
2007
Springer
15 years 9 months ago
2007
Springer
In this paper, we will define a custom term-graph reduction system for a simplified lazy functional language. Our custom system is geared towards flexibility, which is accomplis...