14382 search results - page 123 / 2877 » Time in Connectionist Models |
210
click to vote
CGF
2010
15 years 6 months ago
2010
During the development of car engines, regression models that are based on machine learning techniques are increasingly important for tasks which require a prediction of results i...
180
click to vote
TASE
2007
IEEE
16 years 18 days ago
2007
IEEE
Software has been under scrutiny by the verification community from various angles in the recent past. There are two major algorithmic approaches to ensure the correctness of and...
179
click to vote
FMCO
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. Formal methods, in particular model checking, are increasingly accepted as integral part of system development. With large software systems beyond the range of fully auto...
158
click to vote
WSC
1997
15 years 7 months ago
1997
The value of modeling and simulating business processes has recently received increased attention with the interest in business process re-engineering (BPR). Many re-engineering p...
192
click to vote
IS
1998
15 years 6 months ago
1998
Information modeling is concerned with the construction of computer-based symbol structures which capture the meaning of information and organize it in ways that make it understan...