3724 search results - page 490 / 745 » Timed regular expressions |
149
click to vote
ATAL
2007
Springer
16 years 25 days ago
2007
Springer
Interdependent values (IDV) is a valuation model allowing bidders in an auction to express their value for the item(s) to sell as a function of the other bidders’ information. W...
161
click to vote
AUSAI
2007
Springer
16 years 25 days ago
2007
Springer
A prerequisite of any successful social robot is the ability to express its internal state and intention to humans in a natural way. Many researchers studied verbal and nonverbal f...
141
click to vote
CCS
2007
ACM
16 years 25 days ago
2007
ACM
We present a model of adaptive side-channel attacks which we combine with information-theoretic metrics to quantify the information revealed to an attacker. This allows us to expr...
147
click to vote
FOSSACS
2007
Springer
16 years 25 days ago
2007
Springer
Abstract. Logics that can reason about sets and their cardinality bounds are useful in program analysis, program verification, databases, and knowledge bases. This paper presents ...
160
click to vote
HOLOMAS
2007
Springer
16 years 25 days ago
2007
Springer
To come to a deal, a bargaining process can sometimes take a long time. An auction may be a faster, but existing auction models cannot cope with situations where money is not an is...