Sciweavers

4755 search results - page 478 / 951
» An Implementation Model for Collaborative Applications
Sort
View
169
Voted
WEBDB
2000
Springer
110views Database» more  WEBDB 2000»
15 years 9 months ago
Modeling Data Entry and Operations in WebML
Web Modeling Language (WebML, http://webml.org) is a notation for visually specifying complex Web sites at the conceptual level. All the concepts of WebML are specified both graph...
Aldo Bongio, Stefano Ceri, Piero Fraternali, Andre...
164
Voted
ITC
1995
IEEE
122views Hardware» more  ITC 1995»
15 years 9 months ago
A Fault Model and a Test Method for Analog Fuzzy Logic Circuits
A nalog circuit implementations of fuzzy logic are characterized by performing logical connectives of analog signals. They can be considered as generalization of digital circuits ...
Stefan Weiner
CCE
2004
15 years 6 months ago
Mathematical modelling and design of an advanced once-through heat recovery steam generator
The once-through heat recovery steam generator (HRSG) design is ideally matched to very high temperature and pressure, well into the supercritical range. Moreover this type of boi...
Marie-Noëlle Dumont, Georges Heyen
TSE
2010
123views more  TSE 2010»
15 years 25 days ago
Directed Explicit State-Space Search in the Generation of Counterexamples for Stochastic Model Checking
Current stochastic model checkers do not make counterexamples for property violations readily available. In this paper we apply directed explicit state space search to discrete- a...
Husain Aljazzar, Stefan Leue
CVPR
2003
IEEE
16 years 8 months ago
Bayesian Tangent Shape Model: Estimating Shape and Pose Parameters via Bayesian Inference
12 In this paper we study the problem of shape analysis and its application in locating facial feature points on frontal faces. We propose a Bayesian inference solution based on ta...
Yi Zhou, Lie Gu, HongJiang Zhang