386 search results - page 29 / 78 » A Consistent Semantics of Self-adjusting Computation |
119
click to vote
CSCWD
2005
Springer
15 years 7 months ago
2005
Springer
The digital parts libraries or electronic parts catalogs have opened up a vast potential for new electronic forms of product components procurement. However, their seamless integra...
165
Voted
CORR
2011
Springer
14 years 5 months ago
2011
Springer
The integration of reasoning and computation services across system and language boundaries has been mostly treated from an engineering perspective. In this paper we take a foundat...
131
click to vote
TCSV
2002
15 years 1 months ago
2002
Video query by semantic keywords is one of the most challenging research issues in video data management. To go beyond low-level similarity and access video data content by semanti...
128
click to vote
ICMT
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. The QVT Relations (QVT-R) transformation language allows the definition of bidirectional model transformations, which are required in cases where a two (or more) models ...
127
click to vote
FUIN
2010
14 years 11 months ago
2010
In previous work we have proposed an extension to ASP (Answer Set Programming), called RASP, standing for ASP with Resources. RASP supports declarative reasoning on production and...