Sciweavers

21430 search results - page 3907 / 4286
» Abstract Effective Models
Sort
View
CDC
2009
IEEE
183views Control Systems» more  CDC 2009»
15 years 10 months ago
Algorithms and stability analysis for content distribution over multiple multicast trees
Abstract— The paper investigates theoretical issues in applying the universal swarming technique to efficient content distribution. In a swarming session, a file is distributed...
Xiaoying Zheng, Chunglae Cho, Ye Xia
ECMDAFA
2009
Springer
81views Hardware» more  ECMDAFA 2009»
15 years 10 months ago
Enabling Automated Traceability Maintenance through the Upkeep of Traceability Relations
Abstract. Traceability is demanded within mature development processes and offers a wide range of advantages. Nevertheless, there are deterrents to establishing traceability: it c...
Patrick Mäder, Orlena Gotel, Ilka Philippow
177
Voted
SCA
2007
15 years 9 months ago
Animation collage
We propose a method to automatically transform mesh animations into animation collages, i.e. moving assemblies of shape primitives from a database given by an artist. An animation...
Christian Theobalt, Christian Rössl, Edilson ...
DLOG
2007
15 years 9 months ago
Optimizing Tableau Reasoning in ALC Extended with Uncertainty
Abstract. There has been an increased interest in recent years to incorporate uncertainty in Description Logics (DLs), and a number of proposals have been put forward for modeling ...
Volker Haarslev, Hsueh-Ieng Pai, Nematollaah Shiri
DLOG
2007
15 years 9 months ago
Action Based ABox Update: an Example from the Chemical Compound Formulation
Abstract. The Chemical Formulation Problem (Compounding Problem) consists in modifying the chemical formulation of a compound in order to obtain a new compound showing a set of des...
Alessandro Mosca, Matteo Palmonari
« Prev « First page 3907 / 4286 Last » Next »