1532 search results - page 160 / 307 » An Algebraic Process Calculus |
206
click to vote
TSP
2012
14 years 4 days ago
2012
Abstract—In this paper, we investigate the problem of designing compact-support interpolation kernels for a given class of signals. By using calculus of variations, we simplify t...
132
click to vote
IPPS
2008
IEEE
15 years 11 months ago
2008
IEEE
In this paper, we identify that protocol verification using invariants have significant limitations such as inapplicability to some protocols, non-standard attacker inferences a...
129
click to vote
ACCV
2007
Springer
15 years 10 months ago
2007
Springer
We consider the problem of fitting a conic to a set of 2D points. It is commonly agreed that minimizing geometrical error, i.e. the sum of squared distances between the points and...
139
click to vote
HYBRID
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. An invariant of a system is a predicate that holds for every reachable state. In this paper, we present techniques to generate invariants for hybrid systems. This is achi...
147
click to vote
IQIS
2007
ACM
15 years 6 months ago
2007
ACM
Relational Database Systems often support activities like data warehousing, cleaning and integration. All these activities require performing some sort of data transformations. Si...