Sciweavers

343 search results - page 48 / 69
» Similarity for Analogical Software Reuse: A Computational Mo...
Sort
View
70
Voted
FSTTCS
2009
Springer
15 years 4 months ago
Simulation based security in the applied pi calculus
We present a symbolic framework for refinement and composition of security protocols. ework uses the notion of ideal functionalities. These are abstract systems which are secure b...
Stéphanie Delaune, Steve Kremer, Olivier Pe...
96
Voted
CISSE
2008
Springer
14 years 11 months ago
IraqComm and FlexTrans: A Speech Translation System and Flexible Framework
SRI International's IraqComm system performs bidirectional speech-to-speech machine translation between English and Iraqi Arabic in the domains of force protection, municipal ...
Michael W. Frandsen, Susanne Riehemann, Kristin Pr...
ASE
2004
137views more  ASE 2004»
14 years 9 months ago
Automatically Restructuring Programs for the Web
The construction of interactive server-side Web applications differs substantially from the construction of traditional interactive programs. In contrast, existing Web programming...
Jacob Matthews, Robert Bruce Findler, Paul T. Grau...
MM
1993
ACM
113views Multimedia» more  MM 1993»
15 years 1 months ago
The Vidboard: A Video Capture and Processing Peripheral for a Distributed Multimedia System
This paper describes a stand-alone network-based video capture and processing peripheral (the Vidboard) for a distributed multimedia system centered around a gigabit-per-second As...
Joel F. Adam, David L. Tennenhouse
CVPR
2006
IEEE
15 years 11 months ago
Using Dependent Regions for Object Categorization in a Generative Framework
"Bag of words" models have enjoyed much attention and achieved good performances in recent studies of object categorization. In most of these works, local patches are mo...
Gang Wang, Ye Zhang, Fei-Fei Li 0002