2413 search results - page 157 / 483 » Models for universal usability |
IJIT
2004
15 years 2 months ago
2004
-- This paper proposes a novel improvement of forecasting approach based on using time-invariant fuzzy time series. In contrast to traditional forecasting methods, fuzzy time serie...
106
Voted
IJCNN
2006
IEEE
15 years 6 months ago
2006
IEEE
— Inspired by the universal laws governing different kinds of complex networks, we propose a scale-free highlyclustered echo state network (SHESN). Different from echo state netw...
110
Voted
RTSS
2005
IEEE
15 years 6 months ago
2005
IEEE
This paper presents a local algorithm for solving the universal parametric real-time model-checking problem. The problem may be phrased as follows: given a real-time system and te...
109
Voted
FASE
2001
Springer
15 years 5 months ago
2001
Springer
Abstract. This paper describes a specialised logic for proving specifications in the Java Modeling Language (JML). JML is an interface specification language for Java. It allows ...
88
Voted
FM
1994
Springer
15 years 4 months ago
1994
Springer
Model Checking of Infinite Specifications Daniel Jackson School of Computer Science Carnegie Mellon University Pittsburgh, PA A new method for analyzing specifications in languages...