Sciweavers

5227 search results - page 407 / 1046
» Enterprise modeling using class and instance models
Sort
View
CORR
2006
Springer
82views Education» more  CORR 2006»
15 years 7 months ago
Explicit Randomness is not Necessary when Modeling Probabilistic Encryption
Although good encryption functions are probabilistic, most symbolic models do not capture this aspect explicitly. A typical solution, recently used to prove the soundness of such ...
Véronique Cortier, Heinrich Hördegen, ...
CSDA
2006
102views more  CSDA 2006»
15 years 7 months ago
An improved Akaike information criterion for state-space model selection
Following the work of Hurvich, Shumway, and Tsai (1990), we propose an "improved" variant of the Akaike information criterion, AICi, for state-space model selection. The...
Thomas Bengtsson, Joseph E. Cavanaugh
EDBT
2000
ACM
15 years 10 months ago
A Data Model for Effectively Computable Functions
the research activities. This abstract is to introduce the approach of a data model - EP data model. Its data structure is able to store as a finite set of nodes arbitrary effectiv...
Kevin H. Xu
PRL
2007
100views more  PRL 2007»
15 years 6 months ago
Visible models for interactive pattern recognition
The bottleneck in interactive visual classification is the exchange of information between human and machine. We introduce the concept of the visible model, which is an ion of an ...
Jie Zou, George Nagy
CDC
2008
IEEE
103views Control Systems» more  CDC 2008»
16 years 1 months ago
Symbolic models for nonlinear control systems affected by disturbances
Abstract— Symbolic models are abstract descriptions of continuous systems in which symbols represent aggregates of continuous states. In the last few years there has been a growi...
Giordano Pola, Paulo Tabuada