Sciweavers

1806 search results - page 67 / 362
» Some Functions Computable with a Fused-Mac
Sort
View
ATAL
2009
Springer
16 years 12 days ago
An analysis of feasible solutions for multi-issue negotiation involving nonlinear utility functions
This paper analyzes bilateral multi-issue negotiation between selfinterested agents. Specifically, we consider the case where issues are divisible, there are time constraints in ...
S. Shaheen Fatima, Michael Wooldridge, Nicholas R....
BMVC
2001
15 years 8 months ago
Tracking multiple sports players through occlusion, congestion and scale
Tracking sports players over a large playing area is a challenging problem. The players move quickly, and have large variations in their silhouettes. This paper presents a framewo...
Chris J. Needham, Roger D. Boyle
CAV
2010
Springer
156views Hardware» more  CAV 2010»
15 years 6 months ago
A Logical Product Approach to Zonotope Intersection
We define and study a new abstract domain which is a fine-grained combination of zonotopes with (sub-)polyhedric domains such as the interval, ocinear template or polyhedron domain...
Khalil Ghorbal, Eric Goubault, Sylvie Putot
ICFP
1999
ACM
15 years 10 months ago
Specialization of Inductively Sequential Functional Logic Programs
Functional logic languages combine the operational principles of the most important declarative programming paradigms, namely functional and logic programming. Inductively sequent...
María Alpuente, Michael Hanus, Salvador Luc...
GECCO
2005
Springer
195views Optimization» more  GECCO 2005»
15 years 11 months ago
Evolutionary strategies for multi-scale radial basis function kernels in support vector machines
In support vector machines (SVM), the kernel functions which compute dot product in feature space significantly affect the performance of classifiers. Each kernel function is suit...
Tanasanee Phienthrakul, Boonserm Kijsirikul