Sciweavers

12697 search results - page 89 / 2540
» Call for Papers
Sort
View
CN
2006
117views more  CN 2006»
14 years 12 months ago
Using equivalence-checking to verify robustness to denial of service
In this paper, we introduce a new security property which intends to capture the ability of a cryptographic protocol being resistant to denial of service. This property, called im...
Stéphane Lafrance
ATAL
2004
Springer
15 years 5 months ago
Interactive POMDPs: Properties and Preliminary Results
This paper presents properties and results of a new framework for sequential decision-making in multiagent settings called interactive partially observable Markov decision process...
Piotr J. Gmytrasiewicz, Prashant Doshi
EP
1998
Springer
15 years 4 months ago
A DTD Extension for Document Structure Recognition
This paper deals with the representation of document models used in the field of document recognition. A novel formalism called generalized n-gram is presented, which is shown to b...
Rolf Brugger, Frédéric Bapst, Rolf I...
FLAIRS
2003
15 years 1 months ago
Multi-Document Summaries Based on Semantic Redundancy
This paper presents a technique for producing short summaries from multiple documents. This technique promotes the belief that informative short summaries may be generated when us...
Sanda M. Harabagiu, V. Finley Lacatusu, Steven J. ...
OR
2006
Springer
14 years 12 months ago
OR for Simulation and Its Optimization
This is an expository paper to promote the potential of OR (Operations Research) for simulation. Three applications will therefore be presented which include call centers, check-in...
Nico M. van Dijk, Erik van der Sluis