Sciweavers

3921 search results - page 209 / 785
» Transforming Models with ATL
Sort
View
NMELP
1994
15 years 11 months ago
Computing Stable and Partial Stable Models of Extended Disjunctive Logic Programs
In Prz91], Przymusinski introduced the partial (or 3-valued) stable model semantics which extends the (2-valued) stable model semantics dened originally by Gelfond and Lifschitz G...
Carolina Ruiz, Jack Minker
177
Voted
ACII
2005
Springer
15 years 9 months ago
A Canonical Face Based Virtual Face Modeling
Abstract The research presented here is to create 3D virtual face based on the canonical face model derived from a clustering method on facial feature points. The algorithm efficie...
Seongah Chin
202
Voted
FDL
2006
IEEE
16 years 1 months ago
Formalizing TLM with Communicating State Machines
Transaction Level Models are widely being used as high-level reference models during embedded systems development. High simulation speed and great modeling flexibility are the ma...
Bernhard Niemann, Christian Haubelt
TSP
2008
154views more  TSP 2008»
15 years 6 months ago
Algebraic Signal Processing Theory: 1-D Space
In our paper titled "Algebraic Signal Processing Theory: Foundation and 1-D Time" appearing in this issue of the IEEE TRANSACTIONS ON SIGNAL PROCESSING, we presented the ...
Markus Püschel, José M. F. Moura
ICCV
2005
IEEE
16 years 9 months ago
A Multi-Scale Hybrid Linear Model for Lossy Image Representation
This paper introduces a simple and efficient representation for natural images. We partition an image into blocks and treat the blocks as vectors in a high-dimensional space. We t...
Wei Hong, John Wright, Kun Huang, Yi Ma