Sciweavers

845 search results - page 96 / 169
» Connecting Many-Sorted Theories
Sort
View
FOCS
2009
IEEE
16 years 29 days ago
Convergence to Equilibrium in Local Interaction Games
— We study a simple game theoretic model for the spread of an innovation in a network. The diffusion of the innovation is modeled as the dynamics of a coordination game in which ...
Andrea Montanari, Amin Saberi
GLVLSI
2009
IEEE
159views VLSI» more  GLVLSI 2009»
16 years 28 days ago
On the complexity of graph cuboidal dual problems for 3-D floorplanning of integrated circuit design
This paper discusses the impact of migrating from 2-D to 3-D on floorplanning and placement. By looking at a basic formulation of graph cuboidal dual problem, we show that the 3-...
Renshen Wang, Chung-Kuan Cheng
DAGM
2009
Springer
16 years 23 days ago
Quantitative Assessment of Image Segmentation Quality by Random Walk Relaxation Times
The purpose of image segmentation is to partition the pixel grid of an image into connected components termed segments such that (i) each segment is homogenous and (ii) for any pai...
Björn Andres, Ullrich Köthe, Andreea Bon...
CANDC
2009
ACM
16 years 21 days ago
Understanding the creative conversation: modeling to engagement
This workshop is aimed at describing the elusive creative process: addressing models and of creative practice, from art to craft, from dance to education. In particular, we wish t...
David A. Shamma, Dan Perkel, Kurt Luther
IJCNN
2008
IEEE
16 years 18 days ago
A quantum calculus formulation of dynamic programming and ordered derivatives
— Much recent research activity has focused on the theory and application of quantum calculus. This branch of mathematics continues to find new and useful applications and there ...
John Seiffertt, Donald C. Wunsch