Sciweavers

3164 search results - page 490 / 633
» On Granular Knowledge Structures
Sort
View
CICLING
2005
Springer
15 years 11 months ago
A Computational Model of the Spanish Clitic System
In this paper a computational model of the Spanish clitic system is presented. In this model clitic pronouns receive a dual analysis in which enclitics are considered inflexions wh...
Luis Alberto Pineda, Ivan V. Meza
141
Voted
CISC
2005
Springer
116views Cryptology» more  CISC 2005»
15 years 11 months ago
Specifying Authentication Using Signal Events in CSP
The formal analysis of cryptographic protocols has developed into a comprehensive body of knowledge, building on a wide variety of formalisms and treating a diverse range of securi...
Siraj A. Shaikh, Vicky J. Bush, Steve A. Schneider
158
Voted
COCO
2005
Springer
92views Algorithms» more  COCO 2005»
15 years 11 months ago
Monotone Circuits for Weighted Threshold Functions
Weighted threshold functions with positive weights are a natural generalization of unweighted threshold functions. These functions are clearly monotone. However, the naive way of ...
Amos Beimel, Enav Weinreb
ECSQARU
2005
Springer
15 years 11 months ago
Hydrologic Models for Emergency Decision Support Using Bayesian Networks
In the presence of a river flood, operators in charge of control must take decisions based on imperfect and incomplete sources of information (e.g., data provided by a limited numb...
Martín Molina, Raquel Fuentetaja, Luis Garr...
147
Voted
ICNC
2005
Springer
15 years 11 months ago
DNA Computing Approach to Construction of Semantic Model
In this paper, after a new DNA-based semantic model is theoretically proposed, the preliminary experiment on construction of the small test model is successfully done. This model, ...
Yusei Tsuboi, Zuwairie Ibrahim, Nobuyuki Kasai, Os...