4074 search results - page 132 / 815 » Abstract Graph Transformation |
126
click to vote
ASYNC
2004
IEEE
15 years 8 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...
113
click to vote
IROS
2007
IEEE
15 years 11 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...
148
click to vote
XSYM
2005
Springer
15 years 10 months 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...
145
click to vote
WABI
2004
Springer
15 years 10 months 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...
148
click to vote
EUROCRYPT
2000
Springer
15 years 8 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...