Sciweavers

5499 search results - page 94 / 1100
» Generalized Rewrite Theories
Sort
View
TSP
2008
116views more  TSP 2008»
15 years 4 months ago
Nonideal Sampling and Regularization Theory
Shannon's sampling theory and its variants provide effective solutions to the problem of reconstructing a signal from its samples in some "shift-invariant" space, wh...
Sathish Ramani, Dimitri Van De Ville, Thierry Blu,...
GECCO
2007
Springer
177views Optimization» more  GECCO 2007»
15 years 10 months ago
Geometric particle swarm optimisation on binary and real spaces: from theory to practice
Geometric particle swarm optimization (GPSO) is a recently introduced formal generalization of traditional particle swarm optimization (PSO) that applies naturally to both continu...
Cecilia Di Chio, Alberto Moraglio, Riccardo Poli
HICSS
2006
IEEE
123views Biometrics» more  HICSS 2006»
15 years 10 months ago
Reexamining Media Capacity Theories Using Workplace Instant Messaging
This study empirically examines the general propositions of media capacity theories using a newer and increasing popular communication medium: Instant Messaging. We developed hypo...
Yu-Ting Caisy Hung, Wei-Chang Kong, Ai-Ling Chua, ...
CSFW
2005
IEEE
15 years 10 months ago
Deciding Knowledge in Security Protocols under (Many More) Equational Theories
In the analysis of security protocols, the knowledge of attackers is often described in terms of message deducibility and indistinguishability relations. In this paper, we pursue ...
Martín Abadi, Véronique Cortier
WDAG
2001
Springer
122views Algorithms» more  WDAG 2001»
15 years 8 months ago
Computation Slicing: Techniques and Theory
We generalize the notion of slice introduced in our earlier paper [6]. A slice of a distributed computation with respect to a global predicate is the smallest computation that cont...
Neeraj Mittal, Vijay K. Garg