Sciweavers

1532 search results - page 106 / 307
» Connection Relations in Mereotopology
Sort
View
FIRSTMONDAY
2011
125views more  FIRSTMONDAY 2011»
14 years 5 months ago
The more people I meet, the more I like my dog: A study of pet-oriented social networks on the Web
There has been extensive research into friend-oriented and professional social networking websites, but relatively little work on passion-oriented sites designed to connect strang...
Jennifer Golbeck
84
Voted
JCT
2011
57views more  JCT 2011»
14 years 5 months ago
Generalized Stirling permutations, families of increasing trees and urn models
Bona [6] studied the distribution of ascents, plateaux and descents in the class of Stirling permutations, introduced by Gessel and Stanley [14]. Recently, Janson [18] showed the c...
Svante Janson, Markus Kuba, Alois Panholzer
77
Voted
SYNTHESE
2011
82views more  SYNTHESE 2011»
14 years 5 months ago
The philosophy of simulation: hot new issues or same old stew?
Computer simulations are an exciting tool that plays important roles in many scientific disciplines. This has attracted the attention of a number of philosophers of science. The m...
Roman Frigg, Julian Reiss
TCS
2011
14 years 5 months ago
A semantic measure of the execution time in linear logic
We give a semantic account of the execution time (i.e. the number of cut elimination steps leading to the normal form) of an untyped MELL net. We first prove that: 1) a net is he...
Daniel de Carvalho, Michele Pagani, Lorenzo Tortor...
WWW
2011
ACM
14 years 5 months ago
OntoTrix: a hybrid visualization for populated ontologies
Most Semantic Web data visualization tools structure the representation according to the concept definitions and interrelations that constitute the ontology’s vocabulary. Insta...
Benjamin Bach, Emmanuel Pietriga, Ilaria Liccardi,...