3328 search results - page 489 / 666 » On Plateaued Functions and Their Constructions |
154
click to vote
GLOBECOM
2006
IEEE
16 years 21 days ago
2006
IEEE
— During the last few years there has been a rapid development in mobile ad hoc networks (MANETs). To make the operations of a MANET more efficient, one approach is to construct...
163
click to vote
ICDE
2006
IEEE
16 years 20 days ago
2006
IEEE
The properties of contents stored in a computer system are very wide while the data volume treated in the system becomes very large. It is important to treat each stored object in...
178
click to vote
IROS
2006
IEEE
16 years 20 days ago
2006
IEEE
—Many vision-based navigation systems are restricted to the use of only a limited number of landmarks when computing the camera pose. This limitation is due to the overhead of de...
178
click to vote
ACL2
2006
ACM
16 years 18 days 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...
165
click to vote
ACMICEC
2006
ACM
16 years 18 days ago
2006
ACM
We present a browser-extending Semantic Web extraction system that maps HTML documents to tables and, where possible, to rules. First, the basic data extractor ViPER distills and ...