1894 search results - page 136 / 379 » Towards Mobile Reasoning |
168
click to vote
ACSD
2003
IEEE
15 years 11 months ago
2003
IEEE
In this paper, we present a mathematical model for the composition of software components, at a semantic modelling level. We describe a mathematical concept of a single software c...
148
click to vote
ISMIR
2003
Springer
15 years 11 months ago
2003
Springer
This paper outlines the findings-to-date of a project to assist in the efforts being made to establish a TREC-like evaluation paradigm within the Music Information Retrieval (MIR)...
156
click to vote
CCGRID
2002
IEEE
15 years 11 months ago
2002
IEEE
We are working on a system for the optimised access and replication of data on a Data Grid. Our approach is based on the use of an economic model that includes the actors and the ...
132
click to vote
COMPSAC
2009
IEEE
15 years 10 months ago
2009
IEEE
Non-terminating programs are programs that legally perform unbounded computations. Though they are ubiquitous in real-world applications, testing these programs requires new theor...
166
click to vote
ICDE
2010
IEEE
15 years 10 months ago
2010
IEEE
Mashups are situational applications that build data flows to link the contents of multiple Web sources. Often times, ranking the results of a mashup is handled in a materializethe...