Sciweavers

1650 search results - page 76 / 330
» How to Turn the Page
Sort
View
TALG
2008
86views more  TALG 2008»
14 years 9 months ago
Embeddings of negative-type metrics and an improved approximation to generalized sparsest cut
In this paper, we study the metrics of negative type, which are metrics (V, d) such that d is an Euclidean metric; these metrics are thus also known as " 2-squared" met...
Shuchi Chawla, Anupam Gupta, Harald Räcke
CONNECTION
2002
58views more  CONNECTION 2002»
14 years 9 months ago
Providing social scaffolding for effective agent communities
This paper explores the general landscape of virtual communities and reflects upon their relevance to their agent community counterparts. It examines several disparate virtual com...
Gregory M. P. O'Hare
SYNTHESE
2010
147views more  SYNTHESE 2010»
14 years 8 months ago
A resource-bounded agent addresses the newcomb problem
In the Newcomb problem, the standard arguments for taking either one box or both boxes adduce what seem to be relevant considerations, but they are not complete arguments, and att...
John L. Pollock
UTP
2010
14 years 8 months ago
On Modelling User Observations in the UTP
This paper presents an approach for modelling interactions between users and systems in the Unifying Theories of Programming. Working in the predicate calculus, we outline generic ...
Michael J. Banks, Jeremy L. Jacob
AMSTERDAM
2009
14 years 7 months ago
Pluractionality and the Unity of the Event
This paper exposes shortcomings of an analysis to single-event plural verbs (Cusic’s event-internal pluractionals) based on temporal discontinuity. It shows how to ground discont...
Lucia M. Tovena