69 search results - page 8 / 14 » A Qualitative Formalization of Built Environments |
94
Voted
WSC
2004
15 years 1 months ago
2004
Cell-DEVS enables efficient execution of complex cellular models. The goal of Cell-DEVS is to build discrete-event cell spaces, improving their definition by making the timing spe...
111
Voted
SKG
2006
IEEE
15 years 6 months ago
2006
IEEE
With the rapid evolution of web technology and Internet, the mathematical web has emerged as a new research trend, which changes the traditional manner of mathematical scientific ...
106
Voted
TKDE
2002
15 years 2 days ago
2002
The construction and maintenance of data warehouses (views) in large-scale environments composed of numerous distributed and evolving information sources (ISs) such as the WWW has ...
118
Voted
EUROMICRO
2006
IEEE
15 years 6 months ago
2006
IEEE
This paper presents the modeling paradigm for Integrated Modular Avionics Design MIMAD V0, which is an extensible component-oriented framework that enables high level models of sy...
84
Voted
AI
2000
Springer
15 years 4 months ago
2000
Springer
Abstract. In the GRAAD project we are developing a knowledgebased system able of determine routes in a simulated urban environment and to generate natural language descriptions whi...