Filters








2,988 Hits in 4.8 sec

A modular geometric constraint solver for user interface applications

Hiroshi Hosobe
2001 Proceedings of the 14th annual ACM symposium on User interface software and technology - UIST '01  
To facilitate the construction of constraint-based user interface applications, researchers have proposed various constraint satisfaction methods and constraint solvers.  ...  A key feature of Chorus is its module mechanism that allows users to define new kinds of geometric constraints.  ...  Although there has been much research on constraint solvers for user interfaces, even recent linear solvers are not sufficient for various real-world applications.  ... 
doi:10.1145/502360.502362 fatcat:tdggf64vdvfhlpkwihvmgv4xra

A modular geometric constraint solver for user interface applications

Hiroshi Hosobe
2001 Proceedings of the 14th annual ACM symposium on User interface software and technology - UIST '01  
To facilitate the construction of constraint-based user interface applications, researchers have proposed various constraint satisfaction methods and constraint solvers.  ...  A key feature of Chorus is its module mechanism that allows users to define new kinds of geometric constraints.  ...  Although there has been much research on constraint solvers for user interfaces, even recent linear solvers are not sufficient for various real-world applications.  ... 
doi:10.1145/502348.502362 dblp:conf/uist/Hosobe01 fatcat:4s4elek5ffcdtpio5ddjiyv2ru

FER/Mech—a software with interactive graphics for dynamic analysis of multibody system

Zhi-Qiang Feng, Pierre Joli, Nicolas Seguy
2004 Advances in Engineering Software  
The general organization of the developed software system is given which includes the solver and the pre/postprocessors with a friendly Graphical User Interfaces.  ...  The concept of absolute natural coordinates is discussed to model rigid bodies in order to satisfy the constraints of modularity.  ...  To the users of such a program, it is important not only to have a powerful solver, but also to work in a convivial graphical interface environment.  ... 
doi:10.1016/j.advengsoft.2003.10.006 fatcat:k3d6hrd7wjc2nkcokkt2uznjzi

ReAct! An Interactive Tool for Hybrid Planning in Robotics [article]

Zeynep Dogmus and Esra Erdem and Volkan Patoglu
2013 arXiv   pre-print
, an interactive tool for high-level reasoning for cognitive robotic applications. ReAct!  ...  ., multi-agent path planning, Tower of Hanoi), as well as dynamic simulations of plans computed by a state-of-the-art automated reasoner (e.g., a SAT solver or an ASP solver).  ...  If the user chooses a SAT solver, REACT!  ... 
arXiv:1307.7494v1 fatcat:joigkqfqqvakxb5omigt22u76e

Realization of a Framework for Simulation-Based Large-Scale Shape Optimization Using Vertex Morphing

Aditya Ghantasala, Reza Najian Asl, Armin Geiser, Andrew Brodie, Efthymios Papoutsis, Kai-Uwe Bletzinger
2021 Journal of Optimization Theory and Applications  
The current contribution discusses the conceptualization and applications of a general framework for numerical shape optimization using the vertex morphing parametrization technique.  ...  Another requirement of such a framework is modularity, such that the shape optimization can involve different physics.  ...  Acknowledgements This paper is a part of the research project sponsored by the BMW group, Munich.  ... 
doi:10.1007/s10957-021-01826-x fatcat:5h6lrdzksfb23ii2t2rlf6hyry

An integrated design tool for timber plate structures to generate joints geometry, fabrication toolpath, and robot trajectories

Nicolas Rogeau, Pierre Latteur, Yves Weinand
2021 Automation in Construction  
integrating fabrication constraints, and (4) a method to automatically compute robot trajectories for a given stack of timber plates.  ...  Therefore, this research aims at developing a holistic design tool targeting a wide range of architectural applications.  ...  Aryan Rezaei Rad for their support in reviewing the paper.  ... 
doi:10.1016/j.autcon.2021.103875 fatcat:wx663hjhyvhw3po7jxuic56sty

Modular FEM framework "ModFem" for generic scientific parallel simulations

Michalik Kazimierz, Banas Krzysztof, Plaszewski Przemyslaw, Cybulka Pawel
2013 Computer Science  
We present the design for, and implementation of, a flexible and robust parallel modular finite element (FEM) framework called ModFEM.  ...  The structure allows for reusing the sequential code for parallel environments, and also supports solving multi-physics and multi-scale problems.  ...  . • PARDISO solver interface module. Figure 7 shows the results obtained by the application of the code for simple heatinduced flow in a cube.  ... 
doi:10.7494/csci.2013.14.3.513 fatcat:632rfec2tjg7fgsnssk4jfeyli

Design Considerations for a Flexible Multigrid Preconditioning Library

Jérémie Gaidamour, Jonathan Hu, Chris Siefert, Ray Tuminaro
2012 Scientific Programming  
This article gives an overview of design considerations for the MueLu package: user interfaces, internal design, data management, usage of modern software constructs, leveraging Trilinos capabilities,  ...  MueLu is a library within the Trilinos software project [An overview of Trilinos, Technical Report SAND2003-2927, Sandia National Laboratories, 2003] and provides a framework for parallel multigrid preconditioning  ...  The design is general enough that both algebraic and geometric algorithms are possible. The library interfaces support a wide range of users.  ... 
doi:10.1155/2012/310508 fatcat:p5g4rq4oyvd5blluoia7tx4zy4

PanNDE: A modular architecture for high-performance NDE simulation

William C. Schneck, Erik L. Frankforter, Elizabeth D. Gregory
2021 SoftwareX  
A modular architecture enables flexible configuration for key components of NDE simulation covering 3D visualization compatibility, data import and export, distributed memory parallelism, and solver composition  ...  PanNDE is a C++ software package for simulating field physics encountered in nondestructive evaluation (NDE), with application across a range of engineering and scientific domains.  ...  Despite a breadth of existing simulation capabilities, many commercial simulation codes have speed, flexibility, or interfacing constraints; or else, some use domain restrictions that may not be applicable  ... 
doi:10.1016/j.softx.2021.100779 fatcat:eupskdxc2zf5zbbzxv5c2s2de4

Elmer FEM-Dakota: A unified open-source computational framework for electromagnetics and data analytics [article]

Anjali Sandip
2020 arXiv   pre-print
The interface developed provides a unified open-source computational framework for electromagnetics and data analytics.  ...  Open-source electromagnetic design software, Elmer FEM, was interfaced with data analytics toolkit, Dakota. Furthermore, the coupled software was validated against a benchmark test.  ...  Acknowledgements The author acknowledges the support provided on the Dakota and the Elmer user forums.  ... 
arXiv:2008.06992v2 fatcat:fkf3jgwr4fepzfdyvt3yuza24q

Multidisciplinary Problem-Solving Environments for Computational Science [chapter]

Elias N. Houstis, John R. Rice, Naren Ramakrishnan, Tzvetan Drashansky, Sanjiva Weerawarana, Anupam Joshi, C.E. Houstis
1998 Advances in Computers  
It will be adaptable and intellige1lt with respect to end-users and hardware platforms.  ...  We describe in this white paper research that is necded to formulate and develop a mathematical and softwarejramework for MPSE including the lOO]S, enabling tcchnologies, and underlying theories needcd  ...  We envision thaL a user of MPSE wHl receive aL his location only lhe user interface.  ... 
doi:10.1016/s0065-2458(08)60209-0 fatcat:tshfrtuz2rb3vmmvachxn476gm

Collaborative feature-based design via operations with a fine-grain product database

Y.-S. Ma, S.-H. Tang, C.K. Au, J.-Y. Chen
2009 Computers in industry (Print)  
The feature manager will also call constraints solver to check all the involved constraints (intra-application constraints and inter-application constraints) to validate the feature model.  ...  The modular application layer is an intermediate layer which provides functional interfaces and controls the sessions.  ... 
doi:10.1016/j.compind.2009.02.013 fatcat:kvine76kynd6bhz3eimbxifmlq

The DLVHEX System

Thomas Eiter, Stefano Germano, Giovambattista Ianni, Tobias Kaminski, Christoph Redl, Peter Schüller, Antonius Weinzierl
2018 Künstliche Intelligenz  
DLVHEX is a solver for HEX that permits cyclic reasoning over external atoms and external value invention.  ...  However, in many applications, rules are insufficient for representing all reasoning about the domain of interest.  ...  Due to its modular architecture, HEX also makes it easy to plug in other external reasoners, e.g. a constraint solver, which has been exploited in an application that externally checks the satisfiability  ... 
doi:10.1007/s13218-018-0535-y fatcat:r4cvjqtijvbuhb2pqufomqt5ca

Solution space navigation for geometric constraint systems

Meera Sitharam, Adam Arbree, Yong Zhou, Naganandhini Kohareswaran
2006 ACM Transactions on Graphics  
Specifically, they permit (a) incorporation of many existing approaches to solution space steering or navigation into the ESM; and (b) integration of the ESM into a standard geometric constraint solver  ...  We give a scalable method called the ESM or Equation and Solution Manager that can be used both for automatic searches and visual, user-driven searches for desired realizations.  ...  The method is modular and integrable in that it can be used by any geometric constraint solver that satisfies a well-defined set of basic requirements.  ... 
doi:10.1145/1138450.1138452 fatcat:d7iyospaffewdoizogsffud23i

A Relational Positioning Methodology for Robot Task Specification and Execution

A. Rodriguez, L. Basaez, E. Celaya
2008 IEEE Transactions on robotics  
In order to derive these positions, a geometric constraint solver must be used.  ...  To this end, positioning mobile with respect to fixed (PMF), a geometric constraint solver for the relational positioning of rigid objects in free space is introduced.  ...  Screenshot of the solver user interface.  ... 
doi:10.1109/tro.2008.924263 fatcat:zjcaeltlbrfunn3fldqwokt644
« Previous Showing results 1 — 15 out of 2,988 results