Sciweavers

8587 search results - page 1356 / 1718
» Interactive dynamic abstraction
Sort
View
ARCS
2009
Springer
15 years 11 months ago
Ultra-Fast Downloading of Partial Bitstreams through Ethernet
Abstract. In this paper we present a partial bitstreams ultra-fast downloading process through a standard Ethernet network. These Virtex-based and partially reconfigurable systems...
Pierre Bomel, Jeremie Crenne, Linfeng Ye, Jean-Phi...
155
Voted
CIVR
2009
Springer
221views Image Analysis» more  CIVR 2009»
15 years 11 months ago
Movie segmentation into scenes and chapters using locally weighted bag of visual words
Movies segmentation into semantically correlated units is a quite tedious task due to ”semantic gap”. Low-level features do not provide useful information about the semantical...
Vasileios Chasanis, Argyris Kalogeratos, Aristidis...
DEXA
2009
Springer
222views Database» more  DEXA 2009»
15 years 11 months ago
On Index-Free Similarity Search in Metric Spaces
Metric access methods (MAMs) serve as a tool for speeding similarity queries. However, all MAMs developed so far are index-based; they need to build an index on a given database. T...
Tomás Skopal, Benjamin Bustos
ECWEB
2009
Springer
130views ECommerce» more  ECWEB 2009»
15 years 11 months ago
Perspectives for Web Service Intermediaries: How Influence on Quality Makes the Difference
Abstract. In the service-oriented computing paradigm and the Web service architecture, the broker role is a key facilitator to leverage technical capabilities of loose coupling to ...
Ulrich Scholten, Robin Fischer, Christian Zirpins
135
Voted
FMCAD
2009
Springer
15 years 11 months ago
Decision diagrams for linear arithmetic
—Boolean manipulation and existential quantification of numeric variables from linear arithmetic (LA) formulas is at the core of many program analysis and software model checkin...
Sagar Chaki, Arie Gurfinkel, Ofer Strichman
« Prev « First page 1356 / 1718 Last » Next »