Sciweavers

3179 search results - page 324 / 636
» Applications of PCF Theory
Sort
View
VISUALIZATION
2005
IEEE
15 years 9 months ago
Visualization of the Genus of Knots
The genus of a knot or link can be defined via Seifert surfaces. A Seifert surface of a knot or link is an oriented surface whose boundary coincides with that knot or link. Schem...
Jarke J. van Wijk, Arjeh M. Cohen
99
Voted
HT
2005
ACM
15 years 9 months ago
Feral hypertext: when hypertext literature escapes control
This paper presents a historical view of hypertext looking at preweb hypertext as a domesticated species bred in captivity, and arguing that on the web, some breeds of hypertext h...
Jill Walker
ITICSE
2005
ACM
15 years 9 months ago
Reductive thinking in undergraduate CS courses
This paper describes research on the perception of undergraduate students of the concept of reduction. Specifically, based on an analysis of students' answers to questions ad...
Michal Armoni, Judith Gal-Ezer
SIGECOM
2005
ACM
122views ECommerce» more  SIGECOM 2005»
15 years 9 months ago
Multi-unit auctions with budget-constrained bidders
We study a multi-unit auction with multiple bidders, each of whom has a private valuation and a budget. The truthful mechanisms of such an auction are characterized, in the sense ...
Christian Borgs, Jennifer T. Chayes, Nicole Immorl...
124
Voted
ATAL
2005
Springer
15 years 9 months ago
Coordination and composition in multi-agent systems
In this paper we describe a channel-based exogenous coordination language, called Reo, and discuss its application to multi-agent systems. Reo supports a specific notion of compo...
Mehdi Dastani, Farhad Arbab, Frank S. de Boer