Sciweavers

2192 search results - page 166 / 439
» Embedded function composition
Sort
View
FSTTCS
2009
Springer
15 years 7 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...
ISMB
1997
15 years 2 months ago
Prediction of Enzyme Classification from Protein Sequence without the Use of Sequence Similarity
1 W’edescribe a novel approach for predicting the function of a protein from its amino-acid sequence. Given features that can be computedfrom the amino-acid sequence in a straigh...
Marie desJardins, Peter D. Karp, Markus Krummenack...
ENTCS
2006
102views more  ENTCS 2006»
15 years 1 months ago
Using Association Aspects to Implement Organisational Contracts
The maintenance of organisation is a prerequisite for all viable systems in dynamic environments. In many living systems this organisation is, in part, achieved through coordinati...
Alan W. Colman, Jun Han
CORR
2010
Springer
111views Education» more  CORR 2010»
14 years 10 months ago
Error Exponent for Multiple-Access Channels:Lower Bounds
A unified framework to obtain all known lower bounds (random coding, typical random coding and expurgated bound) on the reliability function of a point-to-point discrete memoryles...
Ali Nazari, Achilleas Anastasopoulos, S. Sandeep P...
CVPR
2001
IEEE
16 years 3 months ago
Image-based Modeling and Rendering of Surfaces with Arbitrary BRDFs
A goal of image-based rendering is to synthesize as realistically as possible man made and natural objects. This paper presents a method for image-based modeling and rendering of ...
Melissa L. Koudelka, Peter N. Belhumeur, Sebastian...