Sciweavers

9697 search results - page 1649 / 1940
» Intelligent Transportation Systems
Sort
View
205
Voted
ISMIS
2003
Springer
15 years 12 months ago
Space Transformation Based Approach for Effective Content-Based Image Retrieval
In this paper, we extend the work done by Choubey and Raghavan, which proposed an approach to content-based image retrieval that uses the space transformation methods proposed by G...
Biren Shah, Vijay V. Raghavan
167
Voted
BIBM
2009
IEEE
183views Bioinformatics» more  BIBM 2009»
15 years 11 months ago
Modeling Protein Interaction Networks with Answer Set Programming
—In this paper we propose the use of answer set programming (ASP) to model protein interaction networks. We argue that this declarative formalism rivals the popular boolean netwo...
Timur Fayruzov, Martine De Cock, Chris Cornelis, D...
DATE
2010
IEEE
161views Hardware» more  DATE 2010»
15 years 11 months ago
FPGA-based adaptive computing for correlated multi-stream processing
Abstract—In conventional static implementations for correlated streaming applications, computing resources may be inefficiently utilized since multiple stream processors may sup...
Ming Liu, Zhonghai Lu, Wolfgang Kuehn, Axel Jantsc...
ISMVL
2010
IEEE
164views Hardware» more  ISMVL 2010»
15 years 11 months ago
On the Number of Products to Represent Interval Functions by SOPs with Four-Valued Variables
Abstract—Let A and B be integers such that A ≤ B. An nvariable interval function is a mapping IN[n : A, B] : {0, 1}n → {0, 1}, where IN[n : A, B](X) = 1 iff A ≤ X ≤ B. Su...
Tsutomu Sasao
ISMVL
2010
IEEE
188views Hardware» more  ISMVL 2010»
15 years 11 months ago
MDGs Reduction Technique Based on the HOL Theorem Prover
—Multiway Decision Graphs (MDGs) subsume Binary Decision Diagrams (BDDs) and extend them by a first-order formulae suitable for model checking of data path circuits. In this pap...
Sa'ed Abed, Otmane Aït Mohamed
« Prev « First page 1649 / 1940 Last » Next »