306 search results - page 52 / 62 » Constructive algebraic integration theory |
VIS
2007
IEEE
14 years 8 months ago
2007
IEEE
Abstract-This paper describes a method for constructing isosurface triangulations of sampled, volumetric, three-dimensional scalar fields. The resulting meshes consist of triangles...
DAGSTUHL
2008
13 years 8 months ago
2008
The construction of computational cognitive models integrating the connectionist and symbolic paradigms of artificial intelligence is a standing research issue in the field. The co...
HICSS
2005
IEEE
14 years 1 months ago
2005
IEEE
With the increasing complexity of information systems, it is becoming increasingly unclear as to how information system behaviors relate to stated requirements. Although requireme...
ER
2005
Springer
14 years 28 days ago
2005
Springer
This paper proposes an agent-oriented meta-model that provides rigorous concepts for conducting enterprise modelling. The aim is to allow analysts to produce an enterprise model th...
SOFSEM
2012
Springer
12 years 3 months ago
2012
Springer
In automated synthesis, we transform a specification into a system that is guaranteed to satisfy the specification against all environments. While modelchecking theory has led to...