10289 search results - page 206 / 2058 » Standard bases in K |
178
click to vote
ICDE
2007
IEEE
16 years 25 days ago
2007
IEEE
Various techniques have been developed for different query types in content-based image retrieval (CBIR) systems such as sampling queries, constrained sampling queries, multiple c...
166
click to vote
HAPTICS
2005
IEEE
16 years 3 days ago
2005
IEEE
This paper compares the energy cost of locomotion on a real slope and on a simulated slope using a tether force on the Sarcos Treadport. Walking and running both up and down slope...
168
click to vote
AINA
2003
IEEE
15 years 11 months ago
2003
IEEE
The multiplications of common multiplicands and exponentiations of large integers with a large modulus are the primary computation operations in several well-known public key cryp...
159
click to vote
CPC
2006
15 years 6 months ago
2006
Motivated by a scheduling problem that arises in the study of optical networks we prove the following result, which is a variation of a conjecture of Haxell, Wilfong and Winkler. ...
225
click to vote
ENTCS
2006
15 years 6 months ago
2006
Bounded Model Checking (BMC) searches for counterexamples to a property with a bounded length k. If no such counterexample is found, k is increased. This process terminates when ...