Sciweavers

12148 search results - page 54 / 2430
» Generalized Bundle Methods
Sort
View
ICCAD
2005
IEEE
113views Hardware» more  ICCAD 2005»
14 years 4 months ago
Synthesis methodology for built-in at-speed testing
We discuss a new synthesis flow, which offers the ability to do easy delay testing almost free in terms of its impact on speed and area as compared to corresponding implementation...
Yinghua Li, Alex Kondratyev, Robert K. Brayton
ECML
2007
Springer
14 years 1 months ago
Using Text Mining and Link Analysis for Software Mining
Many data mining techniques are these days in use for ontology learning – text mining, Web mining, graph mining, link analysis, relational data mining, and so on. In the current ...
Miha Grcar, Marko Grobelnik, Dunja Mladenic
FMCO
2005
Springer
173views Formal Methods» more  FMCO 2005»
14 years 1 months ago
Cluster-Based LTL Model Checking of Large Systems
Abstract. In recent years a bundle of parallel and distributed algorithms for verification of finite state systems has appeared. We survey distributed-memory enumerative LTL mode...
Jiri Barnat, Lubos Brim, Ivana Cerná
EUROCAST
2003
Springer
138views Hardware» more  EUROCAST 2003»
14 years 29 days ago
Coloring of DT-MRI Fiber Traces Using Laplacian Eigenmaps
We propose a novel post processing method for visualization of fiber traces from DT-MRI data. Using a recently proposed non-linear dimensionality reduction technique, Laplacian ei...
Anders Brun, Hae-Jeong Park, Hans Knutsson, Carl-F...
AAAI
2010
13 years 9 months ago
Envy Quotes and the Iterated Core-Selecting Combinatorial Auction
Using a model of agent behavior based around envy-reducing strategies, we describe an iterated combinatorial auction in which the allocation and prices converge to a solution in t...
Abraham Othman, Tuomas Sandholm