1138 search results - page 172 / 228 » First-Order Model Checking Problems Parameterized by the Mod... |
133
click to vote
INFOCOM
2006
IEEE
15 years 8 months ago
2006
IEEE
— The input-queued switch architecture is widely used in Internet routers, due to its ability to run at very high line speeds. A central problem in designing an input-queued swit...
121
click to vote
3DIM
2005
IEEE
15 years 8 months ago
2005
IEEE
Conventional registration algorithms are mostly concerned with rigid-body transformation parameters between a pair of 3D range images. Our proposed framework aims to determine, in...
SIGGRAPH
2000
ACM
15 years 6 months ago
2000
ACM
This paper introduces and presents a solution to the “Escherization” problem: given a closed figure in the plane, find a new closed figure that is similar to the original a...
107
click to vote
FPGA
1997
ACM
15 years 6 months ago
1997
ACM
Programmable logic architectures increase in capacity before commercial circuits are designed for them, yielding a distinct problem for FPGA vendors: how to test and evaluate the ...
94
Voted
ICDT
1990
ACM
15 years 6 months ago
1990
ACM
Ordinary logical implication is not enough for answering queries in a logic database, since especially negative information is only implicitly represented in the database state. M...