7280 search results - page 1113 / 1456 » Optimization Techniques |
216
click to vote
ESA
2005
Springer
16 years 1 months ago
2005
Springer
This paper investigates, for the first time in the literature, the approximation of min-max (regret) versions of classical problems like shortest path, minimum spanning tree, and ...
233
click to vote
COOPIS
2003
IEEE
16 years 27 days ago
2003
IEEE
The use of semantic knowledge in its various forms has become an important aspect in managing data in database and information systems. In the form of integrity constraints, it ha...
162
click to vote
ASIACRYPT
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. Tweakable blockciphers, first formalized by Liskov, Rivest, and Wagner [13], are blockciphers with an additional input, the tweak, which allows for variability. An open p...
208
click to vote
GLVLSI
2007
IEEE
15 years 11 months ago
2007
IEEE
This paper describes a formal verification methodology of highnthesis (HLS) process. The abstraction level of the input to HLS is so high compared to that of the output that the v...
186
click to vote
TEI
2010
ACM
15 years 7 months ago
2010
ACM
The use of a wrist-worn sensor that is able to read nearby RFID tags and the wearer's gestures has been suggested frequently as a way to both detect the objects we interact w...