Sciweavers

1413 search results - page 118 / 283
» Bisimilarity of Open Terms
Sort
View
ATAL
2007
Springer
16 years 24 days ago
Unifying distributed constraint algorithms in a BDI negotiation framework
This paper presents a novel, unified distributed constraint satisfaction framework based on automated negotiation. The Distributed Constraint Satisfaction Problem (DCSP) is one t...
Bao Chau Le Dinh, Kiam Tian Seow
186
Voted
MHCI
2007
Springer
16 years 23 days ago
Dynamic visualisation of ski data: a context aware mobile piste map
Tourism has been a key driver for mobile applications. This short paper presents the design and initial evaluation of a mobile phone based visualisation to support skiers. Paper p...
Mark D. Dunlop, Brian Elsey, Michelle Montgomery M...
VRST
2006
ACM
16 years 17 days ago
Presence in response to dynamic visual realism: a preliminary report of an experiment study
This paper describes an experiment that examines the influence of visual realism on reported presence. 33 participants experienced two different renderings of a virtual environmen...
Pankaj Khanna, Insu Yu, Jesper Mortensen, Mel Slat...
CHI
2010
ACM
15 years 12 months ago
Managing nomadic knowledge: a case study of the European social forum
In this paper we portray a specific type of knowledge which we term ‘nomadic knowledge’. It is required periodically by different actors and travels along foreseeable paths be...
Saqib Saeed, Volkmar Pipek, Markus Rohde, Volker W...
SMA
2003
ACM
118views Solid Modeling» more  SMA 2003»
15 years 12 months ago
Graph based topological analysis of tessellated surfaces
In this paper a graph-based method is presented which not only characterizes topological classification of the tessellated surfaces but also simultaneously generates the substanti...
Tula Ram Ban, Dibakar Sen