2364 search results - page 169 / 473 » An Engine for Computing Well-Founded Models |
147
click to vote
MSE
2002
IEEE
15 years 9 months ago
2002
IEEE
In this paper, we present ACTIVe3D-Build, an electronic platform for the management of civil engineering projects. This platform is the result of a research that aims to represent...
150
click to vote
ASPDAC
2006
ACM
15 years 8 months ago
2006
ACM
Newton is a library-based CAD tool with an analytical synthesis engine which has been developed to support the direct synthesis of the physical design and an electromechanically eq...
131
click to vote
ICFEM
2000
Springer
15 years 8 months ago
2000
Springer
Use Cases are a wide-spread informal method for specifying the requirements of a technical system in the early development phase. Z is a formal notation which aims to support, bes...
138
Voted
APVIS
2004
15 years 6 months ago
2004
This paper explores visualisation of a simplified model of a financial market, known as the Minority Game, using a computer game modification (mod) as a medium. The purpose of thi...
123
click to vote
MVA
1994
15 years 5 months ago
1994
The visual perceptional ability of computer systems to understand the environment is desirable in engineering design and manufacturing where automation is anticipated. I n order t...