1138 search results - page 172 / 228 » First-Order Model Checking Problems Parameterized by the Mod... |
INFOCOM
2006
IEEE
14 years 2 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...
3DIM
2005
IEEE
14 years 1 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
14 years 14 days 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...
FPGA
1997
ACM
14 years 7 days 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 ...
ICDT
1990
ACM
14 years 4 days 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...