Sciweavers

153 search results - page 13 / 31
» Partial Evaluation of Interaction Nets
Sort
View
GI
2005
Springer
15 years 3 months ago
Distributed User Modeling for Situated Interaction
: A distributed service to model and control contextual information in mobile and ubiquitous computing environments is presented in this paper. We introduce the general user model ...
Dominik Heckmann
FMSB
2008
129views Formal Methods» more  FMSB 2008»
14 years 11 months ago
Rule-Based Modelling, Symmetries, Refinements
Rule-based modelling is particularly effective for handling the highly combinatorial aspects of cellular signalling. The dynamics is described in terms of interactions between part...
Vincent Danos, Jérôme Feret, Walter F...
GPCE
2005
Springer
15 years 3 months ago
A Generative Programming Approach to Interactive Information Retrieval: Insights and Experiences
We describe the application of generative programming to a problem in interactive information retrieval. The particular interactive information retrieval problem we study is the su...
Saverio Perugini, Naren Ramakrishnan
ECCV
2008
Springer
14 years 11 months ago
Vision-Based Multiple Interacting Targets Tracking via On-Line Supervised Learning
Abstract. Successful multi-target tracking requires locating the targets and labeling their identities. This mission becomes significantly more challenging when many targets freque...
Xuan Song, Jinshi Cui, Hongbin Zha, Huijing Zhao
CARS
2001
14 years 11 months ago
Rendering and interaction in co-operative 3-D image analysis
Most interactive segmentation methods are defined at a 2-d level requiring sometimes extensive interaction when the object of interest is difficult to be outlined by simple means ...
Klaus D. Tönnies, Manfred Hinz, Regina Pohle