42507 search results - page 110 / 8502 » On the analysis of |
156
click to vote
ICPR
2006
IEEE
16 years 7 months ago
2006
IEEE
A method is proposed for performing shape analysis of m-surfaces, e.g. planar curves and surfaces, with a geometric interpretation. The analysis uses an implicit surface represent...
140
click to vote
EDBT
2006
ACM
16 years 6 months ago
2006
ACM
In this paper, we present the architecture of a Business Information Analysis provisioning system, BISON. The system is built based on a functioning business information analysis ...
151
click to vote
ICPR
2008
IEEE
16 years 26 days ago
2008
IEEE
This paper describes the mathematical underpinning used to analyse two dimensional movements with time using Fourier Analysis techniques. Interpreting the complex harmonic compone...
181
click to vote
TPHOL
2008
IEEE
16 years 25 days ago
2008
IEEE
Systems that can immediately react to their inputs may suffer from cyclic dependencies between their actions and the corresponding trigger conditions. For this reason, causality an...
156
click to vote
ASIAN
2007
Springer
16 years 19 days ago
2007
Springer
Abstract. We present a reduction semantics for the LYSA calculus extended with session information, for modelling cryptographic protocols, and a static analysis for it. If a protoc...