4074 search results - page 132 / 815 » Abstract Graph Transformation |
164
click to vote
ASYNC
2004
IEEE
15 years 10 months ago
2004
IEEE
We describe a new intermediate compiler representation, static token form, that is suitable for dataflow-style synthesis of high-level asynchronous specifications. Static token fo...
136
click to vote
IROS
2007
IEEE
16 years 1 months ago
2007
IEEE
Abstract— Distributed reconfiguration is an important problem in multi-robot systems such as mobile sensor nets and metamorphic robot systems. In this work, we present a scalabl...
193
click to vote
XSYM
2005
Springer
16 years 8 days ago
2005
Springer
Abstract. Recently it was shown that existing general-purpose inductive logic programming systems are useful for learning wrappers (known as L-wrappers) to extract data from HTML d...
177
click to vote
WABI
2004
Springer
16 years 4 days ago
2004
Springer
Abstract. In this paper we present a more efficient algorithm for comparison of minisatellites which has complexity O(n 3 + m 3 + mn 2 + nm 2 + mn) where n and m are the lengths of...
190
click to vote
EUROCRYPT
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. We study the problem of partial key exposure. Standard cryptographic definitions and constructions do not guarantee any security even if a tiny fraction of the secret key...