1513 search results - page 65 / 303 » A self-describing data transfer model for ITS applications |
156
click to vote
ETFA
2006
IEEE
16 years 7 days ago
2006
IEEE
This paper presents a new approach to modelling and verification of function block applications of the IEC 61499 standard. The approach uses the language of logic programming Prol...
135
click to vote
ISCAS
2006
IEEE
16 years 6 days ago
2006
IEEE
— The paper presents a simple stochastic model of a True Random Number Generator, which extracts randomness from the tracking jitter of a phase-locked loop. The existence of such...
137
click to vote
TODAES
1998
15 years 5 months ago
1998
Abstract State Machines (ASMs) provide a sound mathematical basis for the specification and verification of systems. An application of the ASM methodology to the verification of a ...
149
click to vote
CGF
2008
15 years 6 months ago
2008
The appearance manifold [WTL 06] is an efficient approach for modeling and editing time-variant appearance of materials from the BRDF data captured at single time instance. Howeve...
158
click to vote
ICPR
2010
IEEE
15 years 10 months ago
2010
IEEE
In this paper, we present a new method to design customizable self-evolving fuzzy rule-based classifiers. The presented approach combines an incremental clustering algorithm with a...