Sciweavers

2701 search results - page 86 / 541
» On the form of witness terms
Sort
View
CEC
2009
IEEE
16 years 1 months ago
Inertial geometric particle swarm optimization
— Geometric particle swarm optimization (GPSO) is a recently introduced formal generalization of a simplified form of traditional particle swarm optimization (PSO) without the i...
Alberto Moraglio, Julian Togelius
HASKELL
2009
ACM
16 years 25 days ago
Type-safe observable sharing in Haskell
Haskell is a great language for writing and supporting embedded Domain Specific Languages (DSLs). Some form of observable sharing is often a critical capability for allowing so-c...
Andy Gill
SIGIR
2009
ACM
16 years 25 days ago
Visualizing the problems with the INEX topics
Topics form a crucial component of a test collection. We show, through visualization, that the INEX 2008 topics have shortcomings, which questions their validity for evaluating XM...
Andrew Trotman, Maria del Rocio Gomez Crisostomo, ...
SMA
2009
ACM
166views Solid Modeling» more  SMA 2009»
16 years 25 days ago
A geometric criterion for smooth interpolation of curve networks
A key problem when interpolating a network of curves occurs at vertices: an algebraic condition called the vertex enclosure constraint must hold wherever an even number of curves ...
T. Hermann, J. Peters, T. Strotman
DELTA
2008
IEEE
16 years 23 days ago
Compact Models for Signal Transient and Crosstalk Noise of Coupled RLC Interconnect Lines with Ramp Inputs
Analytical compact form models for the signal transient and crosstalk noise of two-coupled RLC lines are developed. Capacitive and inductive coupling effects are investigated and ...
Taehoon Kim, Dongchul Kim, Jung-A Lee, Yungseon Eo