Sciweavers

2851 search results - page 207 / 571
» Operationalizing Conceptual Models Based on a Model of Depen...
Sort
View
FOSSACS
2005
Springer
16 years 2 days ago
Model Checking for Nominal Calculi
Nominal calculi have been shown very effective to formally model a variety of computational phenomena. The models of nominal calculi have often infinite states, thus making model ...
Gian Luigi Ferrari, Ugo Montanari, Emilio Tuosto
AINA
2009
IEEE
16 years 1 months ago
Modeling Web Request and Session Level Arrivals
This paper is focused on modeling Web request and session level arrival processes. We propose a statistically rigorous approach which includes testing for non-stationarity and Gau...
Xuan Wang, Katerina Goseva-Popstojanova
ICNC
2005
Springer
16 years 1 days ago
Modeling Belief, Capability and Promise for Cognitive Agents - A Modal Logic Approach
From the last decade, modeling of cognitive agents have drawn great attention and provide a new paradigm for addressing fundamental questions in cognitive science. In this paper, a...
Xinyu Zhao, Zuoquan Lin
ICVGIP
2004
15 years 8 months ago
Facial Model Improvement Using 3D Texture Mapping Feedback
We present a method for improving a 3D facial model by interactive feedback of mapping a texture obtained from a 3D scanner. The method is based on extracting features from both 3...
Yongjie Liu, Anup Basu, Jong-Seong Kim
CORR
1998
Springer
99views Education» more  CORR 1998»
15 years 6 months ago
Models of Co-occurrence
A model of co-occurrence in bitext is a boolean predicate that indicates whether a given pair of word tokens co-occur in corresponding regions of the bitext space. Co-occurrence i...
I. Dan Melamed