Sciweavers

6508 search results - page 1065 / 1302
» Development and the Baldwin Effect
Sort
View
DT
2000
162views more  DT 2000»
15 years 6 months ago
RT-Level ITC'99 Benchmarks and First ATPG Results
Effective high-level ATPG tools are increasingly needed, as an essential element in the quest for reducing as much as possible the designer work on gate-level descriptions. We pro...
Fulvio Corno, Matteo Sonza Reorda, Giovanni Squill...
JAIR
2000
123views more  JAIR 2000»
15 years 6 months ago
Backbone Fragility and the Local Search Cost Peak
The local search algorithm WSat is one of the most successful algorithms for solving the satisfiability (SAT) problem. It is notably effective at solving hard Random 3-SAT instanc...
Josh Singer, Ian P. Gent, Alan Smaill
JCNS
2000
126views more  JCNS 2000»
15 years 6 months ago
Alpha-Frequency Rhythms Desynchronize over Long Cortical Distances: A Modeling Study
Neocortical networks of excitatory and inhibitory neurons can display alpha()-frequency rhythms when an animal is in a resting or unfocused state. Unlike some - and -frequency rhy...
Stephanie R. Jones, David J. Pinto, Tasso J. Kaper...
JILP
2000
165views more  JILP 2000»
15 years 6 months ago
BMAT - A Binary Matching Tool for Stale Profile Propagation
A major challenge of applying profile-based optimization on large real-world applications is how to capture adequate profile information. A large program, especially a GUI-based a...
Zheng Wang, Ken Pierce, Scott McFarling
164
Voted
GEOINFORMATICA
1998
79views more  GEOINFORMATICA 1998»
15 years 6 months ago
Symbolic Intersect Detection: A Method for Improving Spatial Intersect Joins
Due to the increasing popularity of spatial databases, researchers have focused their efforts on improving the query processing performance of the most expensive spatial database ...
Yun-Wu Huang, Matthew C. Jones, Elke A. Rundenstei...
« Prev « First page 1065 / 1302 Last » Next »