Sciweavers

2725 search results - page 371 / 545
» A framework for P2P application development
Sort
View
JLP
2007
74views more  JLP 2007»
15 years 6 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
ICMCS
2009
IEEE
106views Multimedia» more  ICMCS 2009»
15 years 4 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 3 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
15 years 1 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 10 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, ...