1187 search results - page 120 / 238 » Graph-Based Procedural Abstraction |
98
Voted
SPIN
2007
Springer
15 years 8 months ago
2007
Springer
Boolean programs are frequently used to model abstractions of software programs. They have the advantage that reachability properties are decidable, despite the fact that their sta...
104
click to vote
STACS
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. In many security protocols, such as group protocols, principals have to perform iterative or recursive computations. We call such protocols recursive protocols. Recently,...
124
Voted
ASAP
2006
IEEE
15 years 8 months ago
2006
IEEE
Abstract – The storage requirements in data-dominant signal processing systems, whose behavior is described by arraybased, loop-organized algorithmic specifications, have an imp...
109
click to vote
ICRA
2006
IEEE
15 years 7 months ago
2006
IEEE
Abstract— We consider the problem of approximating a continuous curve by a piecewise linear one whose segments are assumed to be connected by universal joints. Rather than taking...
123
click to vote
IJCNN
2006
IEEE
15 years 7 months ago
2006
IEEE
Abstract— While the model parameters of many kernel learning methods are given by the solution of a convex optimisation problem, the selection of good values for the kernel and r...