1302 search results - page 108 / 261 » Soundness in the Public-Key Model |
165
click to vote
ECIR
2007
Springer
15 years 8 months ago
2007
Springer
Document fields, such as the title or the headings of a document, offer a way to consider the structure of documents for retrieval. Most of the proposed approaches in the literatu...
166
click to vote
ICFEM
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. CSP is a well-established formalism for modelling and verification of concurrent reactive systems based on refinement. Consolidated denotational models and an effective t...
139
click to vote
ICPR
2006
IEEE
16 years 7 months ago
2006
IEEE
In this paper we extend an existing audio background modelling technique, leading to a more robust application to complex audio environments. The determination of background audio...
150
click to vote
ICALT
2008
IEEE
16 years 29 days ago
2008
IEEE
When using Learning Object Repositories, it is interesting to have mechanisms to select the more adequate objects for each student. For this kind of adaptation, it is important to...
163
click to vote
ECBS
2000
IEEE
15 years 11 months ago
2000
IEEE
Recently, modeling has received a lot of attention in the design of embedded computing systems. StateCharts is one of the modeling specifications which has been successfully imple...