Sciweavers

2725 search results - page 371 / 545
» A framework for P2P application development
Sort
View
JLP
2007
74views more  JLP 2007»
15 years 3 months ago
Linearity and bisimulation
Exploiting linear type structure, we introduce a new theory bisimilarity for the π-calculus in which we abstract away not only τ-actions but also non-τ actions which do not aff...
Nobuko Yoshida, Kohei Honda, Martin Berger
139
Voted
ICMCS
2009
IEEE
106views Multimedia» more  ICMCS 2009»
15 years 1 months ago
Modeling and analysis of content identification
Content fingerprinting provides a compact content-based representation of a multimedia document. An important application of fingerprinting is the identification of modified copie...
Avinash L. Varna, Min Wu
CORR
2010
Springer
144views Education» more  CORR 2010»
15 years 1 months ago
Fast Approximation Algorithms for Cut-based Problems in Undirected Graphs
We present a general method of designing fast approximation algorithms for cut-based minimization problems in undirected graphs. In particular, we develop a technique that given a...
Aleksander Madry
TSP
2010
14 years 10 months ago
Joint detection and estimation of multiple objects from image observations
The problem of jointly detecting multiple objects and estimating their states from image observations is formulated in a Bayesian framework by modeling the collection of states as ...
Ba-Ngu Vo, Ba-Tuong Vo, Nam-Trung Pham, David Sute...
ICCSA
2011
Springer
14 years 7 months ago
Standardization of Game Based Learning Design
The standardization of the design of learning games is a contradictory topic: The existence of a rich variety of domains and applications is in conflict with the desire for unifica...
Sebastian Kelle, Roland Klemke, Marion R. Gruber, ...