Sciweavers

721 search results - page 120 / 145
» An NP-Hardness Result for Nonlinear Systems
Sort
View
DAC
2008
ACM
16 years 2 months ago
Concurrent topology and routing optimization in automotive network integration
In this paper, a novel automatic approach for the concurrent topology and routing optimization that achieves a high quality network layout is proposed. This optimization is based ...
Bardo Lang, Christian Haubelt, Jürgen Teich, ...
111
Voted
ISBI
2008
IEEE
16 years 2 months ago
An information-based clustering approach for fMRI activation detection
Most clustering algorithms in fMRI analysis implicitly require some nontrivial assumption on data structure. Due to arbitrary distribution of fMRI time series in the temporal doma...
Lijun Bai, Wei Qin, Jimin Liang, Jie Tian
ICCAD
2008
IEEE
127views Hardware» more  ICCAD 2008»
15 years 10 months ago
Verification of arithmetic datapaths using polynomial function models and congruence solving
Abstract— This paper addresses the problem of solving finite word-length (bit-vector) arithmetic with applications to equivalence verification of arithmetic datapaths. Arithmet...
Neal Tew, Priyank Kalla, Namrata Shekhar, Sivaram ...
HICSS
2009
IEEE
143views Biometrics» more  HICSS 2009»
15 years 8 months ago
Longitudinal Analysis of the Effects of IT Characteristics on Web Site Ratings Across State Governments in the US (2001-2006)
Given the increasing investment on information technology (IT) and Web site features, it becomes crucial to measure reliably the impact of these characteristics on the overall qua...
Gabriel Puron Cid, José Ramón Gil-Ga...
ICNC
2009
Springer
15 years 8 months ago
Estimating Strength of Concrete Using a Grammatical Evolution
The main purpose of this paper is to propose an incorporating a grammatical evolution (GE) into the genetic algorithm (GA), called GEGA, and apply it to estimate the compressive s...
Hsun-Hsin Hsu, Li Chen, Chang-Huan Kou, Tai-Sheng ...