Sciweavers

5671 search results - page 1039 / 1135
» A Semantic Approach to Interpolation
Sort
View
SPLC
2007
15 years 7 months ago
Feature Diagrams and Logics: There and Back Again
Feature modeling is a notation and an approach for modeling commonality and variability in product families. In their basic form, feature models contain mandatory/optional feature...
Krzysztof Czarnecki, Andrzej Wasowski
TRECVID
2007
15 years 7 months ago
The University of Queensland at TRECVID 2007 Search Task
This paper describes our first participation in TRECVID. We took part in the search task and submitted two interactive runs. Both of them are of Type c, and use no ASR/MT output ...
Heng Tao Shen, Xiaofang Zhou, Jie Shao, Zi Huang
APVIS
2009
15 years 7 months ago
Optimized data transfer for time-dependent, GPU-based glyphs
Particle-based simulations are a popular tool for researchers in various sciences. In combination with the availability of ever larger COTS clusters and the consequently increasin...
Sebastian Grottel, Guido Reina, Thomas Ertl
CAEPIA
2009
Springer
15 years 7 months ago
Closeness and Distance Relations in Order of Magnitude Qualitative Reasoning via PDL
The syntax, semantics and an axiom system for an extension of Propositional Dynamic Logic (PDL) for order of magnitude qualitative reasoning which formalizes the concepts of close...
Alfredo Burrieza, Emilio Muñoz-Velasco, Man...
CCGRID
2010
IEEE
15 years 7 months ago
Streamflow Programming Model for Data Streaming in Scientific Workflows
Geo-sciences involve large-scale parallel models, high resolution real time data from highly asynchronous and heterogeneous sensor networks and instruments, and complex analysis a...
Chathura Herath, Beth Plale
« Prev « First page 1039 / 1135 Last » Next »