10802 search results - page 1797 / 2161 » Generative and developmental systems |
171
Voted
FM
2003
Springer
16 years 1 hour ago
2003
Springer
As the systems we have to specify and verify become larger and more complex, there is a mounting need to combine different tools and decision procedures to accomplish large proof ...
214
click to vote
GCC
2003
Springer
15 years 12 months ago
2003
Springer
This paper applies a new traffic model, iterated function systems (IFS) for network traffic modelling, to explore computer network behaviour and analyse network performance. IFS mo...
163
click to vote
GECCO
2003
Springer
15 years 12 months ago
2003
Springer
The process of labeling each word in a sentence with one of its lexical categories (noun, verb, etc) is called tagging and is a key step in parsing and many other language processi...
148
click to vote
ICCBR
2003
Springer
15 years 12 months ago
2003
Springer
In real environments it is often difficult to obtain a collection of cases for the case base that would cover all the problem solving situations. Although it is often somewhat eas...
149
click to vote
ICCS
2003
Springer
15 years 12 months ago
2003
Springer
Abstract. We describe a virtual telemetry system that allows us to devise and augment dynamic data-driven application simulations (DDDAS). Virtual telemetry has the advantage that ...