1823 search results - page 224 / 365 » Formal specification: a roadmap |
ENTCS
2002
13 years 9 months ago
2002
PLAN is a language designed for programming active networks, and can more generally be regarded as a model of mobile computation. PLAN generalizes the paradigm of imperative funct...
PVLDB
2008
13 years 8 months ago
2008
In probabilistic databases, lineage is fundamental to both query processing and understanding the data. Current systems s.a. Trio or Mystiq use a complete approach in which the li...
SAC
2008
ACM
13 years 8 months ago
2008
ACM
The emergence of the Web has made more and more news items available, however only a small subset of these news items are relevant in a decision making process. Therefore decision...
WWW
2010
ACM
13 years 7 months ago
2010
ACM
With the enormous and still growing amount of data and user interaction on the Web, it becomes more and more necessary for data consumers to be able to assess the trustworthiness ...
ECCV
2010
Springer
13 years 7 months ago
2010
Springer
We investigate the spatio-temporal alignment of videos or features/signals extracted from them. Specifically, we formally define an alignment manifold and formulate the alignment p...