6409 search results - page 811 / 1282 » A Computational Algorithm for Origami Design |
111
click to vote
ICMCS
2006
IEEE
15 years 11 months ago
2006
IEEE
In this paper, a high-level optimization methodology is applied for the implementation of the well-known Convolutional Face Finder (CFF) algorithm for real-time applications on ce...
145
click to vote
ICPP
2006
IEEE
15 years 11 months ago
2006
IEEE
— Due to resource scarcity, a paramount concern in ad hoc networks is to utilize the limited resources efficiently. The self-organized nature of ad hoc networks makes the social...
176
Voted
SKG
2006
IEEE
15 years 10 months ago
2006
IEEE
The research community has turned to create Semantic Overlay Networks for information retrieval in large scale peer-to-peer networks. Much research work in semantic overlay protoc...
148
click to vote
ACL2
2006
ACM
15 years 10 months ago
2006
ACM
We describe a new procedure for verifying ACL2 properties about finite state machines (FSMs) using satisfiability (SAT) solving. We present an algorithm for converting ACL2 conj...
163
click to vote
CONEXT
2006
ACM
15 years 10 months ago
2006
ACM
Running the Border Gateway Protocol (BGP), the Internet’s interdomain routing protocol, consumes a large amount of memory. A BGP-speaking router typically stores one or more rou...