3432 search results - page 289 / 687 » Model Development in the UML-based Specification Environment... |
185
click to vote
WSC
2008
15 years 9 months ago
2008
Modular construction has the advantage of producing structures quickly and efficiently, while not requiring the resources to build a structure to be co-located with the constructi...
268
click to vote
PC
2006
15 years 7 months ago
2006
Cellular automata (CA) are discrete dynamic systems that have been used for modeling many physical systems. CA are often used as an alternative to model and solve large-scale syst...
194
click to vote
ITS
2004
Springer
16 years 23 days ago
2004
Springer
Developing a learner model containing an accurate representation of a learner’s knowledge is made more difficult in distributed learning environments where the learner uses mult...
209
click to vote
ICALP
1997
Springer
15 years 11 months ago
1997
Springer
In this paper we develop a new elementary algorithm for model-checking infinite sequential processes, including context-free processes, pushdown processes, and regular graphs, tha...
220
click to vote
AVSS
2008
IEEE
16 years 1 months ago
2008
IEEE
Visual surveillance in outdoor environments requires the monitoring of both objects and events. The analysis is generally driven by the target application which, in turn, determin...