Sciweavers

8337 search results - page 309 / 1668
» Reasoning With Characteristic Models
Sort
View
APWEB
2006
Springer
15 years 10 months ago
Building Content Clusters Based on Modelling Page Pairs
We give a new view on building content clusters from page pair models. We measure the heuristic importance within every two pages by computing the distance of their accessed positi...
Christoph Meinel, Long Wang 0002
BPM
2008
Springer
147views Business» more  BPM 2008»
15 years 8 months ago
Business Process Modelling with Continuous Validation
In this paper, we demonstrate the prototype of a modelling tool that applies graph-based rules for identifying problems in business process models. The advantages of our approach a...
Stefan Kühne, Heiko Kern, Volker Gruhn, Ralf ...
FLAIRS
2004
15 years 8 months ago
A Computational Psycholinguistic Model of Natural Language Processing
Double R Model (Referential and Relational model) is a computational psycholinguistic model of NLP founded on the principles of Cognitive Linguistics and implemented using the ACT...
Jerry T. Ball
TGC
2007
Springer
16 years 25 days ago
Computational Soundness of Equational Theories (Tutorial)
Abstract. We study the link between formal and cryptographic models for security protocols in the presence of passive and adaptive adversaries. We first describe the seminal resul...
Steve Kremer
TIME
2005
IEEE
16 years 8 days ago
An XML-Based Framework for Temporal Database Implementation
This paper presents an XML-based approach to implementing the parametric model of temporal databases. In the parametric model, attribute values are functions of time and the entir...
Seo-Young Noh, Shashi K. Gadia