16626 search results - page 3103 / 3326 » Computing is a natural science |
166
click to vote
ASIACRYPT
2007
Springer
16 years 25 days ago
2007
Springer
An extended abstract of this paper appears in Kaoru Kurosawa (Ed.): Advances in Cryptology ASIACRYPT 2007, volume 4833 of Lecture Notes in Computer Science, pages 265–282, Spring...
148
click to vote
ATAL
2007
Springer
16 years 25 days ago
2007
Springer
Making commitments, e.g., through promises and threats, enables a player to exploit the strengths of his own strategic position as well as the weaknesses of that of his opponents....
186
click to vote
AUSDM
2007
Springer
16 years 25 days ago
2007
Springer
Mining frequent patterns such as frequent itemsets is a core operation in many important data mining tasks, such as in association rule mining. Mining frequent itemsets in high-di...
191
click to vote
CSL
2007
Springer
16 years 24 days ago
2007
Springer
Abstract. Probably the most significant result concerning cut-free sequent calculus proofs in linear logic is the completeness of focused proofs. This completeness theorem has a n...
183
click to vote
GECCO
2007
Springer
16 years 24 days ago
2007
Springer
The accurate quantification of proteins is important in several areas of cell biology, biotechnology and medicine. Both relative and absolute quantification of proteins is often d...