140 search results - page 22 / 28 » Encoding Functional Relations in Scunak |
KBS
2008
14 years 9 months ago
2008
As the number of available Web services increases there is a growing demand to realise complex business processes by combining and reusing available Web services. In this context,...
ENTCS
2007
14 years 9 months ago
2007
Logical connectives familiar from the study of hybrid logic can be added to the logical framework LF, a constructive type theory of dependent functions. This extension turns out t...
TEC
2008
14 years 9 months ago
2008
Recent research on compact genetic algorithms (cGAs) has proposed a number of evolutionary search methods with reduced memory requirements. In cGAs, the evolution of populations is...
191
click to vote
ICDE
2009
IEEE
15 years 11 months ago
2009
IEEE
Abstract-- When dealing with massive quantities of data, topk queries are a powerful technique for returning only the k most relevant tuples for inspection, based on a scoring func...
83
Voted
GLOBECOM
2008
IEEE
15 years 3 months ago
2008
IEEE
—In this paper, we address the problem of establishing full connectivity and satisfying required traffic capacity between disconnected clusters in large wireless ad-hoc ground n...