29172 search results - page 384 / 5835 » Modeling Systems in CLP |
187
click to vote
AUTOMATICA
2002
15 years 6 months ago
2002
- In the general case of non-uniformly spaced frequency domain data and/or arbitrarily colored disturbing noise, the frequency domain subspace identification algorithms described i...
186
click to vote
COMSWARE
2007
IEEE
16 years 1 months ago
2007
IEEE
—Traditional authentication systems employed on Internet are facing an acute problem of intrusions. In this context we propose a neural architecture for user authentication throu...
168
click to vote
UM
2007
Springer
16 years 28 days ago
2007
Springer
Recommender systems are gaining widespread acceptance in e-commerce applications to confront the “information overload” problem. Collaborative Filtering (CF) is a successful re...
168
click to vote
SAC
2006
ACM
16 years 24 days ago
2006
ACM
ArchiTRIO is a formal language, which complements UML 2.0 concepts with a formal, logic-based notation that allows users to state system-wide properties, both static and dynamic, ...
248
Voted
CAV
2004
Springer
16 years 7 days ago
2004
Springer
Abstract. We propose a new statistical approach to analyzing stochastic systems against specifications given in a sublogic of continuous stochastic logic (CSL). Unlike past numeri...