Sciweavers

6666 search results - page 1049 / 1334
» Reconfigurable Computing for High Performance Networking App...
Sort
View
AI
2005
Springer
15 years 6 months ago
: Compiling problem specifications into SAT
We present a compiler that translates a problem specification into a propositional satisfiability test (SAT). Problems are specified in a logic-based language, called NP-SPEC, whi...
Marco Cadoli, Andrea Schaerf
TEC
2008
98views more  TEC 2008»
15 years 6 months ago
Opposition-Based Differential Evolution
Evolutionary Algorithms (EAs) are well-known optimization approaches to cope with non-linear, complex problems. These population-based algorithms, however, suffer from a general we...
Shahryar Rahnamayan, Hamid R. Tizhoosh, Magdy M. A...
VC
2010
115views more  VC 2010»
15 years 5 months ago
Multi-rate coupling of physical simulations for haptic interaction with deformable objects
Abstract Real-time simulation of deformable objects involves many computational challenges to be solved, particularly in the context of haptic applications, where high update rates...
Guido Böttcher, Dennis Allerkamp, Franz-Erich...
ICDM
2009
IEEE
197views Data Mining» more  ICDM 2009»
15 years 4 months ago
A Linear-Time Graph Kernel
The design of a good kernel is fundamental for knowledge discovery from graph-structured data. Existing graph kernels exploit only limited information about the graph structures bu...
Shohei Hido, Hisashi Kashima
SCP
2011
341views Communications» more  SCP 2011»
15 years 1 months ago
A generic topology library
In the field of scientific computing there is a manifold of software applications and tools available which provide methods and libraries for the solution of very specific prob...
René Heinzl, Philipp Schwaha
« Prev « First page 1049 / 1334 Last » Next »