1187 search results - page 198 / 238 » Computation in Extended Argumentation Frameworks |
102
click to vote
MICCAI
2000
Springer
15 years 4 months ago
2000
Springer
New medical imaging modalities offering multi-valued data, such as phase contrast MRA and diffusion tensor MRI, require general representations for the development of automatized a...
AVI
2004
15 years 2 months ago
2004
In this paper, we present our open source, platform independent toolkit for developing 3D talking agents, namely Xface. It relies on MPEG-4 Face Animation (FA) standard. The toolk...
WSC
1990
15 years 1 months ago
1990
This paper provides an overview of a simulation support environment and presents a discussion of a number of issues related to the generation of a simulation model. The need for a...
143
click to vote
CORR
2008
Springer
15 years 20 days ago
2008
Springer
Abstract. Proof search has been used to specify a wide range of computation systems. In order to build a framework for reasoning about such specifications, we make use of a sequent...
95
Voted
FSS
2008
15 years 19 days ago
2008
Multidimensional databases are now recognized as being the standard way to store aggregated and historized data. Multidimensional databases are designed to store information on me...