Search Sciweavers | Sciweavers

9698 search results - page 114 / 1940

» models 2010

137

click to vote

ACISP
2010
Springer

139views Security Privacy» more ACISP 2010»

The Security Model of Unidirectional Proxy Re-Signature with Private Re-Signature Key

15 years 8 months ago

Download web.science.mq.edu.au

Jun Shao, Min Feng, Bin Zhu, Zhenfu Cao, Peng Liu

claim paper

Read More »

117

click to vote

ECIR
2010
Springer

116views Information Technology» more ECIR 2010»

A Language Modeling Approach for Temporal Information Needs

15 years 7 months ago

Download www.mpi-inf.mpg.de

Klaus Berberich, Srikanta J. Bedathur, Omar Alonso...

claim paper

Read More »

116

click to vote

SDM
2010
SIAM

130views Data Mining» more SDM 2010»

Learning Compressible Models

15 years 7 months ago

Download reports-archive.adm.cs.cmu.edu

Yi Zhang 0010, Jeff Schneider, Artur Dubrawski

claim paper

Read More »

128

click to vote

ATAL
2010
Springer

178views Intelligent Agents» more ATAL 2010»

Symbolic model checking for agent interactions

15 years 7 months ago

Download users.encs.concordia.ca

Mohamed El-Menshawy, Wei Wan, Jamal Bentahar, Rach...

claim paper

Read More »

150

click to vote

ATAL
2010
Springer

100views Intelligent Agents» more ATAL 2010»

Improved bounded model checking for a fair branching-time temporal epistemic logic

15 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers