Sciweavers

4635 search results - page 748 / 927
» Modeling Design Knowledge on Structure
Sort
View
ICSOC
2009
Springer
15 years 4 months ago
Lightweight Composition of Ad-Hoc Enterprise-Class Applications with Context-Aware Enterprise Mashups
The huge demand for ad-hoc and situational enterprise-class applications led to a new kind of Web-based applications, known as enterprise mashups. End users from the business units...
Florian Gilles, Volker Hoyer, Till Janner, Katarin...
ENTCS
2010
136views more  ENTCS 2010»
15 years 3 months ago
A Solver for Modal Fixpoint Logics
We present MLSolver, a tool for solving the satisfiability and validity problems for modal fixpoint logics. The underlying technique is based on characterisations of satisfiabilit...
Oliver Friedmann, Martin Lange
CVIU
2011
15 years 1 months ago
Sampled medial loci for 3D shape representation
The medial axis transform is valuable for shape representation as it is complete and captures part structure. However, its exact computation for arbitrary 3D models is not feasibl...
Svetlana Stolpner, Sue Whitesides, Kaleem Siddiqi
TOG
2010
157views more  TOG 2010»
15 years 1 months ago
Computer-generated residential building layouts
We present a method for automated generation of building layouts for computer graphics applications. Our approach is motivated by the layout design process developed in architectu...
Paul Merrell, Eric Schkufza, Vladlen Koltun
ICASSP
2011
IEEE
14 years 10 months ago
Robust parametrization for non-destructive evaluation of composites using ultrasonic signals
Anticipating and characterizing damages in layered carbon fiberreinforced polymers is a challenging problem. Non-destructive evaluation using ultrasonic signals is a well-establi...
Nicolas Bochud, Angel M. Gomez, Guillermo Rus, Jos...