Sciweavers

3333 search results - page 507 / 667
» Abstract Proof Search
Sort
View
TCAD
2002
93views more  TCAD 2002»
15 years 5 months ago
Hierarchical buffered routing tree generation
Abstract--This paper presents a solution to the problem of performance-driven buffered routing tree generation for VLSI circuits. Using a novel bottom-up construction algorithm and...
Amir H. Salek, Jinan Lou, Massoud Pedram
TEC
2002
94views more  TEC 2002»
15 years 5 months ago
Knowledge-intensive genetic discovery in foreign exchange markets
Abstract--This paper considers the discovery of trading decision models from high-frequency foreign exchange (FX) markets data using genetic programming (GP). It presents a domain-...
Siddhartha Bhattacharyya, Olivier V. Pictet, Gille...
TEC
2002
89views more  TEC 2002»
15 years 5 months ago
An immunity-based technique to characterize intrusions in computer networks
Abstract--This paper presents a technique inspired by the negative selection mechanism of the immune system that can detect foreign patterns in the complement (nonself) space. In p...
Fabio A. González, Dipankar Dasgupta
MTA
2007
101views more  MTA 2007»
15 years 5 months ago
Finding maximum-length repeating patterns in music databases
Abstract This paper introduces the problem of discovering maximum-length repeating patterns in music objects. A novel algorithm is presented for the extraction of this kind of patt...
Ioannis Karydis, Alexandros Nanopoulos, Yannis Man...
BIRTHDAY
2010
Springer
15 years 4 months ago
Second-Order Programs with Preconditions
Abstract. In the implementation of procedures, developers often assume that the input satisfies certain properties; for example, binary search assumes the array to be sorted. Such...
Markus Aderhold