Sciweavers

3575 search results - page 361 / 715
» Modeling Concurrency with Geometry
Sort
View
CERA
2005
101views more  CERA 2005»
15 years 6 months ago
An Integrated Approach to Manufacturing Process Design and Costing
In order to accurately cost the new product manufacture, and to assess a `what if' scenario in a rapid manner, requires an information system which can integrate the process ...
S. Grewal, C. K. Choi
AAI
2000
118views more  AAI 2000»
15 years 6 months ago
Vivid Agents: Theory, Architecture, and Applications
Vivid agents [48] are software-controlled systems whose state comprises the mental components of knowledge, perceptions, tasks, and intentions, and whose behaviour is represented ...
Michael Schroeder, Gerd Wagner
CRYPTO
2012
Springer
247views Cryptology» more  CRYPTO 2012»
13 years 9 months ago
Black-Box Constructions of Composable Protocols without Set-Up
Abstract. We present the first black-box construction of a secure multiparty computation protocol that satisfies a meaningful notion of concurrent security in the plain model (wi...
Huijia Lin, Rafael Pass

Book
19360views
17 years 5 months ago
Numerical Recipes in C
C code implementation of several math algorithms such as Linear Algebraic Equations, Interpolation and Extrapolation, Integration of Functions, Evaluation of Functions, Random Num...
William H. Press, Saul A. Teukolsky, William T. Ve...

Source Code
7589views
17 years 2 months ago
MATLAB and Octave Functions for Computer Vision and Image Processing
Great Matlab and Octave function implementation for hot computer vision algorithms such as Feature detection via Phase Congruency, Spatial feature detection, Non-maxima suppression...
P. D. Kovesi