Sciweavers

1395 search results - page 87 / 279
» Modeling betweenness for question answering
Sort
View
EPK
2006
114views Management» more  EPK 2006»
15 years 5 months ago
Verifying Properties of (Timed) Event Driven Process Chains by Transformation to Hybrid Automata
Abstract: Event-driven Process Chains (EPCs) are a commonly used modelling technique for design and documentation of business processes. Although EPCs have an easy-to-understand no...
Stefan Denne
ICONIP
2004
15 years 5 months ago
Modeling Gene Regulatory Network in Fission Yeast Cell Cycle Using Hybrid Petri Nets
The complexity of gene regulatory network models stems from the fact that the models should be able to represent continuous, discrete as well as stochastic aspects of gene regulati...
Ranjith Vasireddy, Somenath Biswas
IJDET
2010
130views more  IJDET 2010»
15 years 1 months ago
A Unified Learning Style Model for Technology-Enhanced Learning: What, Why and How?
: This paper deals with the use of learning styles in technology-enhanced learning, by introducing a so-called "Unified Learning Style Model" (ULSM). The article aims at ...
Elvira Popescu
SIGIR
1999
ACM
15 years 8 months ago
A Similarity-based Probability Model for Latent Semantic Indexing
A dual probability model is constructed for the Latent Semantic Indexing LSI using the cosine similarity measure. Both the document-document similarity matrix and the term-term ...
Chris H. Q. Ding
152
Voted
CORR
2006
Springer
137views Education» more  CORR 2006»
15 years 4 months ago
Resettable Zero Knowledge in the Bare Public-Key Model under Standard Assumption
In this paper we resolve an open problem regarding resettable zero knowledge in the bare public-key (BPK for short) model: Does there exist constant round resettable zero knowledg...
Yi Deng, Dongdai Lin