Filters








271 Hits in 4.0 sec

Strategic directions in constraint programming

Pascal Van Hentenryck, Vijay Saraswat
1996 ACM Computing Surveys  
Particular thanks to Vineet Gupta for invaluable last-minute assistance.  ...  Early application areas for constraints were interactive graphics and circuit modeling and diagnosis.  ...  Supporting interactive user interfaces places a number of demands on constraint satisfaction algorithms that may not arise in other application areas.  ... 
doi:10.1145/242223.242279 fatcat:3aqe7rubijeddoahomxho2vtou

MidiSpace

François Pachet, Olivier Delerue
1998 Proceedings of the sixth ACM international conference on Multimedia - MULTIMEDIA '98  
We then introduce the problem of mixing consistency, and propose a solution based on a constraint propagation mechanism.  ...  spatialization settings under the supervision of a constraint solver that ensures the spatialization always satisfies the constraints.  ...  Constraint techniques are traditionally divided into two categories: constraint satisfaction algorithms (CSP) and constraint propagation algorithms.  ... 
doi:10.1145/290747.290801 dblp:conf/mm/PachetD98 fatcat:7r7nbluz6bagxlr3c67zjofmuy

FLARE: Fast layout for augmented reality applications

Ran Gal, Lior Shapira, Eyal Ofek, Pushmeet Kohli
2014 2014 IEEE International Symposium on Mixed and Augmented Reality (ISMAR)  
We find the optimal configurations for each object by solving a constraint-satisfaction problem.  ...  Our stochastic move making algorithm is domain-aware, and allows us to efficiently converge to a solution for most rule-sets.  ...  As an example of an early work in this space, the Ultraviolet [4] system used a constraint satisfaction algorithm framework for interactive graphics.  ... 
doi:10.1109/ismar.2014.6948429 dblp:conf/ismar/GalSOK14 fatcat:f5iuxcmbhjbijbssvytxrgbhru

Constraint-based document layout for the Web

Alan Borning, Richard Kuang-Hsu Lin, Kim Marriott
2000 Multimedia Systems  
We describe a prototype constraint-based web authoring system and viewing tool that provides linear arithmetic constraints for specifying the layout of the document as well as finite domain constraints  ...  Constraints can be used to specify declaratively the desired layout of a web document.  ...  Acknowledgments We gratefully acknowledge the help of Andrew Kelly and Sitt Sen Chok, who programmed Java versions of the Cassowary algorithm. This project has been funded in part by the U.S.  ... 
doi:10.1007/s005300000043 fatcat:3uba7bjds5hbdlopmvd7nu6mzi

Automating planning and scheduling of shuttle payload operations

S. Chien, G. Rabideau, J. Willis, T. Mann
1999 Artificial Intelligence  
DCAPS was used in the operations of the shuttle payload for the STS-85 shuttle flight in August 1997 and enabled a 80% reduction in mission operations effort and a 40% increase in science return. : S 0  ...  This paper describes the DATA-CHASER Automated Planner/Scheduler (DCAPS) system for automated generation and repair of command sequences for the DATA-CHASER shuttle payload.  ...  Work by Johnston and Minton [9] shows how the min-conflicts heuristic can be used not only for scheduling but for a wide range of constraint satisfaction problems.  ... 
doi:10.1016/s0004-3702(99)00069-7 fatcat:avjfygzzfzag3j2xzgfizfwkzi

A Call for Knowledge-Based Planning

David E. Wilkins, Marie desJardins
2001 The AI Magazine  
These descriptions were generously provided by Steve Chien of NASA's Jet Propulsion Lab; however, the authors take responsibility for the final text. Articles SPRING 2001 113  ...  It provides, among other capabilities, an expressive constraint modeling language, a language for representing plan preferences, constraintreasoning systems, and a graphic interface for visualizing plans  ...  methods might not be the most efficient approach to solving certain types of constraint-satisfaction subproblem within a larger planning problem.  ... 
doi:10.1609/aimag.v22i1.1547 dblp:journals/aim/Wilkinsd01 fatcat:nmmo2alvjjegrbd247u6g2oryi

Interaction in hybrid intelligent scheduling

Peter G. Higgins
1996 International Journal of Human Factors in Manufacturing  
human-computer interaction in decision making.  ...  Hybrid human-computer intelligent systems for scheduling have evolved in response to the inability of algorithmic methods to handle the complexity of production in real manufacturing environments.  ...  The ancillaries place additional constraints on the allocation of jobs to presses. For instance, all jobs using ink that needs ultraviolet fixing must go to the six-color press.  ... 
doi:10.1002/(sici)1522-7111(199622)6:3<185::aid-hfm1>3.0.co;2-6 fatcat:of4sbdhturgdlnclcc3dxps634

Systematic and Iterative Development of a Smartphone App to Promote Sun-Protection Among Holidaymakers: Design of a Prototype and Results of Usability and Acceptability Testing

Angela M Rodrigues, Falko F Sniehotta, Mark A Birch-Machin, Patrick Olivier, Vera Araújo-Soares
2017 JMIR Research Protocols  
Systematic and iterative development of a smartphone application to promote sunprotection amongst holidaymakers: Design of a Prototype and Results of  ...  This work is licensed under a Creative Commons Attribution 4.0 International License Newcastle University ePrints -eprint.ncl.ac.uk Rodrigues R, Sniehotta F, Birch-Machin MA, Araujo-soares V.  ...  Acknowledgments The work described in this paper was funded by a PhD fellowship from the Portuguese Science and Technology Foundation (FCT) (Reference: SFRH/BD/60392/2009). Angela M. Rodrigues  ... 
doi:10.2196/resprot.7172 pmid:28606892 pmcid:PMC5484792 fatcat:5yocvwhkgbaftecds5pxwrstra

Building a digital model of Michelangelo's Florentine Pieta

F. Bernardini, H. Rushmeier, I.M. Martin, J. Mittleman, G. Taubin
2002 IEEE Computer Graphics and Applications  
The large quantity of data collected should have a major impact in future development of shape reconstruction algorithms. Numerous other projects have been conducted or are currently underway.  ...  He had used high-quality traditional photography, x-ray, and ultraviolet light studies, as well as researching the complex history and symbolism of the statue and its analysis by past art historians.  ...  statue and Jack Wasserman for his inspiration and for creating the opportunity for our work.  ... 
doi:10.1109/38.974519 fatcat:l7hsrg62lncmjjwzw2h2fxul5e

Connections and Integration with SAT Solvers: A Survey and a Case Study in Computational Biology [chapter]

Fabien Corblin, Lucas Bordeaux, Eric Fanchon, Youssef Hamadi, Laurent Trilling
2010 Hybrid Optimization  
Boolean constraints play a fundamental rôle in optimization and constraint satisfaction.  ...  This chapter gives a brief overview of the relevant literature on modern SAT solvers and on the recent efforts to better integrate Boolean reasoning with other constraint satisfaction techniques.  ...  This formalism is also appropriate for some optimization problems, whereas SAT is restricted to constraint satisfaction.  ... 
doi:10.1007/978-1-4419-1644-0_13 fatcat:qrvwyo7wmvapxetsppwqldbxoe

The Cassowary linear arithmetic constraint solving algorithm

Greg J. Badros, Alan Borning, Peter J. Stuckey
2001 ACM Transactions on Computer-Human Interaction  
Current constraint solvers designed for UI applications cannot efficiently handle simultaneous linear equations and inequalities. This is a major limitation.  ...  We describe Cassowary-an incremental algorithm based on the dual simplex method that can solve such systems of constraints efficiently.  ...  Acknowledgments Thanks to Kim Marriott, Peter Stuckey and Yi Xiao, co-developers of both Cassowary and the closely related QOCA algorithm, for their help in this work, and for allowing us to reuse much  ... 
doi:10.1145/504704.504705 fatcat:eayudgl7hncn7ez2sk2cl2wnbi

Using UML and OCL for representing multiobjective combinatorial optimization problems

Yönet A. Eracar, Mieczyslaw M. Kokar
2012 Journal of Intelligent Manufacturing  
constraints) and then automatically translating the representations to a Constraint Satisfaction solving language (Oz) for execution.  ...  The main goal of this paper is to investigate directions towards a standard, graphical language for representing combinatorial optimization problems.  ...  [58] , EaCL [59] and Ultraviolet [60] , implement graphical user interfaces to monitor the progress of the constraint solver and provide the user with a mechanism to interact with the solver at run-time  ... 
doi:10.1007/s10845-012-0705-y fatcat:lmfw4c64ezcsnhcwkspmsrx2ue

Community Resilience Optimization Subject to Power Flow Constraints in Cyber-Physical-Social Systems in Power Engineering [article]

Jaber Valinejad, Lamine Mili
2020 arXiv   pre-print
This paper develops a community resilience optimization method subject to power flow constraints in the Cyber-Physical-Social Systems in Power Engineering, which is solved using a multi-agent-based algorithm  ...  The optimization accounts for the fact that the level of satisfaction of the society, the living standards, and the social well-being are depended on the supply of energy, including electricity.  ...  The socio-technical power flow algorithm is the main tool for the analysis of a power system in the CPSS-PE.  ... 
arXiv:2004.00772v1 fatcat:f4det5f7zffjtpn3zv25zdvye4

Mathematical and Computer Modeling of Electro-Optic Systems Using a Generic Modeling Approach

M. I. Smith, D. J. Murray-Smith, D. Hickman
2007 The Journal of Defence Modeling and Simulation: Applications, Methodology, Technology  
They are used within EO systems for imaging, and different technologies allow operation of EO systems over the ultraviolet, visible, and infrared wavebands.  ...  A generic approach is presented for modeling a variety of sensor systems, operating in the infrared waveband, that also allows systems to be modeled with different levels of detail and at different stages  ...  Acknowledgement The authors are grateful to the anonymous reviewers for a number of helpful suggestions that have led to significant improvements in this paper.  ... 
doi:10.1177/875647930700400101 fatcat:3xyuhaa32jbfri6rfc3k7skupm

MediaWise - Designing a Smart Media Cloud [article]

Dimitrios Georgakopoulos, Rajiv Ranjan, Karan Mitra, Xiangmin Zhou
2012 arXiv   pre-print
In addition to integrating such public cloud services into a public cloud-based Content Delivery Network, the MediaWise Cloud also provides advanced Quality of Service (QoS) management as required for  ...  the delivery of streamed and interactive high resolution multimedia content.  ...  , audio, text, and graphics), but broaden existing Web 2.0 strengths with new technologies for creating novel forms of interactive multimedia content (e.g., as discussed earlier, MediaWise interactive  ... 
arXiv:1206.1943v2 fatcat:uqidkpkkajfq3nbtcl7cp7r6im
« Previous Showing results 1 — 15 out of 271 results