Sciweavers

553 search results - page 73 / 111
» Cover Contact Graphs
Sort
View
NETWORKING
2011
14 years 1 months ago
STEPS - An Approach for Human Mobility Modeling
Abstract. In this paper we introduce Spatio-TEmporal Parametric Stepping (STEPS) - a simple parametric mobility model which can cover a ectrum of human mobility patterns. STEPS mak...
Anh Dung Nguyen, Patrick Sénac, Victor Rami...
SEMWEB
2007
Springer
15 years 4 months ago
OLA in the OAEI 2007 Evaluation Contest
Abstract. Similarity has become a classical tool for ontology confrontation motivated by alignment, mapping or merging purposes. In the definition of an ontologybased measure one ...
Jean François Djoufak Kengue, Jér&oc...
TCS
2010
14 years 8 months ago
Clustering with partial information
The Correlation Clustering problem, also known as the Cluster Editing problem, seeks to edit a given graph by adding and deleting edges to obtain a collection of disconnected cliq...
Hans L. Bodlaender, Michael R. Fellows, Pinar Hegg...
CSL
2007
Springer
15 years 2 months ago
Lambda Theories of Effective Lambda Models
Abstract. A longstanding open problem is whether there exists a nonsyntactical model of the untyped -calculus whose theory is exactly the least -theory . In this paper we investiga...
Chantal Berline, Giulio Manzonetto, Antonino Salib...
CORR
2010
Springer
122views Education» more  CORR 2010»
14 years 10 months ago
How to meet asynchronously (almost) everywhere
Two mobile agents (robots) with distinct labels have to meet in an arbitrary, possibly infinite, unknown connected graph or in an unknown connected terrain in the plane. Agents ar...
Jurek Czyzowicz, Arnaud Labourel, Andrzej Pelc