Sciweavers

251 search results - page 34 / 51
» Comparative Speed Analysis of FastICA
Sort
View
FMCAD
2004
Springer
14 years 3 months ago
Increasing the Robustness of Bounded Model Checking by Computing Lower Bounds on the Reachable States
Most symbolic model checkers are based on either Binary Decision Diagrams (BDDs), which may grow exponentially large, or Satisfiability (SAT) solvers, whose time requirements rapi...
Mohammad Awedh, Fabio Somenzi
GECCO
2004
Springer
137views Optimization» more  GECCO 2004»
14 years 3 months ago
Evolving Better Multiple Sequence Alignments
Aligning multiple DNA or protein sequences is a fundamental step in the analyses of phylogeny, homology and molecular structure. Heuristic algorithms are applied because optimal mu...
Luke Sheneman, James A. Foster
VLSID
2003
IEEE
208views VLSI» more  VLSID 2003»
14 years 3 months ago
Cryptosystem Designed for Embedded System Security
— This paper reports a cryptosystem designed for security of embedded systems. It is based on the theory of Cellular Automata(CA). The Cellular Automata based Cryptosystem(CAC) e...
Subhayan Sen, Sk. Iqbal Hossain, Kabirul Islam, Di...
VR
2003
IEEE
126views Virtual Reality» more  VR 2003»
14 years 3 months ago
A Taxonomy and Comparison of Haptic Actions for Disassembly Tasks
The usefulness of modern day haptics equipment for virtual simulations of actual maintenance actions is examined. In an effort to categorize which areas haptic simulations may be ...
Aaron Bloomfield, Yu Deng, Jeff Wampler, Pascale R...
INFOCOM
2002
IEEE
14 years 2 months ago
Clock Synchronization Algorithms for Network Measurements
Abstract—Packet delay traces are important measurements for analyzing end-to-end performance and for designing traffic control algorithms in computer networks. Due to the fact t...
Li Zhang, Zhen Liu, Cathy H. Xia