Sciweavers

2956 search results - page 267 / 592
» Asim: A Performance Model Framework
Sort
View
ICECCS
2000
IEEE
135views Hardware» more  ICECCS 2000»
15 years 11 months ago
Definitions of Equivalence for Transformational Synthesis of Embedded Systems
Design of embedded systems is a complex task that requires design cycles founded upon formal notation, so that the synthesis from specification to implementation can be carried ou...
Luis Alejandro Cortés, Petru Eles, Zebo Pen...
ECCV
2008
Springer
15 years 8 months ago
Robust Real-Time Visual Tracking Using Pixel-Wise Posteriors
We derive a probabilistic framework for robust, real-time, visual tracking of previously unseen objects from a moving camera. The tracking problem is handled using a bag-of-pixels ...
Charles Bibby, Ian D. Reid
ECIR
2006
Springer
15 years 8 months ago
Lexical Entailment for Information Retrieval
Abstract. Textual Entailment has recently been proposed as an application independent task of recognising whether the meaning of one text may be inferred from another. This is pote...
Stéphane Clinchant, Cyril Goutte, Ér...
SIGMOD
2007
ACM
144views Database» more  SIGMOD 2007»
16 years 7 months ago
The TopX DB&IR engine
This paper proposes a demo of the TopX search engine, an extensive framework for unified indexing, querying, and ranking of large collections of unstructured, semistructured, and ...
Martin Theobald, Ralf Schenkel, Gerhard Weikum
IPPS
2000
IEEE
15 years 11 months ago
Combining Fusion Optimizations and Piecewise Execution of Nested Data-Parallel Programs
Abstract. Nested data-parallel programs often have large memory requirements due to their high degree of parallelism. Piecewise execution is an implementation technique used to min...
W. Pfannenstiel