Sciweavers

2960 search results - page 149 / 592
» The Culture Based Model: Constructing a Model of Culture
Sort
View
SDM
2009
SIAM
144views Data Mining» more  SDM 2009»
16 years 3 months ago
On Segment-Based Stream Modeling and Its Applications.
The primary constraint in the effective mining of data streams is the large volume of data which must be processed in real time. In many cases, it is desirable to store a summary...
Charu C. Aggarwal
JOLLI
2007
83views more  JOLLI 2007»
15 years 6 months ago
Modeling generalized implicatures using non-monotonic logics
This paper reports on an approach to model generalized implicatures using nonmonotonic logics. The approach, called compositional, is based on the idea of compositional semantics, ...
Jacques Wainer
ENTCS
2006
141views more  ENTCS 2006»
15 years 6 months ago
A Concurrent Model for Linear Logic
We build a realizability model for linear logic using a name-passing process calculus. The construction is based on testing semantics for processes, drawing ideas from spatial and...
Emmanuel Beffara
ICECCS
2006
IEEE
115views Hardware» more  ICECCS 2006»
16 years 11 days ago
A Layered Behavioural Model of Platelets
There is great interest in the application of nanotechnology to medicine, but concerns for safety are paramount. We present a modelling technique based on CSP and B as a starting ...
Steve Schneider, Helen Treharne, Ana Cavalcanti, J...
DAGSTUHL
2007
15 years 7 months ago
A Collision-Resistant Rate-1 Double-Block-Length Hash Function
This paper proposes a construction for collision resistant 2n-bit hash functions, based on n-bit block ciphers with 2n-bit keys. The construction is analysed in the ideal cipher mo...
Stefan Lucks