Sciweavers

3311 search results - page 129 / 663
» Modeling Relational Data by the Adjacency Model
Sort
View
ASM
1998
ASM
14 years 1 months ago
Modeling Cache Coherence Protocol - A Case Study with FLASH
This paper is devoted to the speci cation of the Stanford FLASHcache coherence protocol within the ASM formalism. Correctness proofs related to data consistency are presented. Corn...
Arnaud Durand
JMLR
2010
150views more  JMLR 2010»
13 years 4 months ago
Approximate parameter inference in a stochastic reaction-diffusion model
We present an approximate inference approach to parameter estimation in a spatio-temporal stochastic process of the reaction-diffusion type. The continuous space limit of an infer...
Andreas Ruttor, Manfred Opper
ICDE
2008
IEEE
110views Database» more  ICDE 2008»
14 years 10 months ago
InstantDB: Enforcing Timely Degradation of Sensitive Data
- People cannot prevent personal information from being collected by various actors. Several security measures are implemented on servers to minimize the possibility of a privacy v...
Nicolas Anciaux, Luc Bouganim, Harold van Heerde, ...
DMDW
2003
120views Management» more  DMDW 2003»
13 years 10 months ago
Well-formed data warehouse structures
: Two main problems arise in modelling data warehouse structures. The first consists in establishing an adequate representation of dimensions in order to facilitate and to control ...
Michel Schneider
NLPRS
2001
Springer
14 years 1 months ago
Named Entity Recognition using Machine Learning Methods and Pattern-Selection Rules
Named Entity recognition, as a task of providing important semantic information, is a critical first step in Information Extraction and QuestionAnswering system. This paper propos...
Choong-Nyoung Seon, Youngjoong Ko, Jeong-Seok Kim,...