Sciweavers

2794 search results - page 162 / 559
» A New Architecture for Automated Modelling
Sort
View
DAC
2004
ACM
16 years 8 months ago
Efficient equivalence checking with partitions and hierarchical cut-points
Previous results show that both flat and hierarchical methodologies present obstacles to effectively completing combinational equivalence checking. A new approach that combines th...
Demos Anastasakis, Lisa McIlwain, Slawomir Pilarsk...
264
Voted
SIGGRAPH
1999
ACM
15 years 11 months ago
A Morphable Model for the Synthesis of 3D Faces
In this paper, a new technique for modeling textured 3D faces is introduced. 3D faces can either be generated automatically from one or more photographs, or modeled directly throu...
Volker Blanz, Thomas Vetter
ISCC
2005
IEEE
105views Communications» more  ISCC 2005»
16 years 17 days ago
The Bandwidth Exchange Architecture
New applications for the Internet such as video on demand, grid computing etc. depend on the availability of high bandwidth connections with acceptable Quality of Service (QoS). T...
David Michael Turner, Vassilis Prevelakis, Angelos...
EUROMED
2010
15 years 5 months ago
CARARE: Connecting Archaeology and Architecture in Europeana
Abstract. CARARE is a best practice network funded by the European Commission’s ICT Policy Support Programme. The network brings together heritage agencies, organisations, archae...
Henrik Jarl Hansen, Kate Fernie
191
Voted
PUK
2000
15 years 8 months ago
Knowledge-Based Control of Decision Theoretic Planning - Adaptive Planning Model Selection
This paper proposes a new planning architecture for agents operating in uncertain and dynamic environments. Decisiontheoretic planning has been recognized as a useful tool for rea...
Jun Miura, Yoshiaki Shirai