Sciweavers

6141 search results - page 310 / 1229
» Models and representation of their ownership
Sort
View
DISCO
1992
161views Hardware» more  DISCO 1992»
15 years 10 months ago
Combinatory Models and Symbolic Computation
We introduce an algebraic model of computation which is especially useful for the description of computations in analysis. On one level the model allows the representation of alge...
Karl Aberer
VLDB
1990
ACM
69views Database» more  VLDB 1990»
15 years 10 months ago
Concept Description Language for Statistical Data Modeling
In this paper we describe a new language for statistical data modelling, which offers a general framework for the representation of elementary and summarydata.Thereare threemain c...
Tiziana Catarci, Giovanna D'Angiolini, Maurizio Le...
FGR
2004
IEEE
163views Biometrics» more  FGR 2004»
15 years 10 months ago
Model-Based and Image-Based Methods for Facial Image Synthesis, Analysis and Recognition
We review several model-based and image-based methods that we have developed for analyzing, synthesizing, and recognizing facial images. Our model-based methods include a sophisti...
Demetri Terzopoulos, Yuencheng Lee, M. Alex O. Vas...
AGP
2003
IEEE
15 years 10 months ago
Using dynamic logic programming to model legal reasoning
Dynamic logic programming allows the representation and the inference of evolving knowledge. Legal knowledge reasoning needs the capability to model laws that change over time and ...
N. Graca, Paulo Quaresma
ICCAD
1991
IEEE
100views Hardware» more  ICCAD 1991»
15 years 10 months ago
Extraction of Gate Level Models from Transistor Circuits by Four-Valued Symbolic Analysis
The program TRANALYZE generates a gate-level representation of an MOS transistor circuit. The resulting model contains only four-valued unit and zero delay logic primitives, suita...
Randal E. Bryant