A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Filters
Strategic directions in constraint programming
1996
ACM Computing Surveys
Preserved Fulltext
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
1998
Proceedings of the sixth ACM international conference on Multimedia - MULTIMEDIA '98
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2014
2014 IEEE International Symposium on Mixed and Augmented Reality (ISMAR)
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2015; you can also visit the original URL.
The file type is application/pdf.
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
2000
Multimedia Systems
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2005; you can also visit the original URL.
The file type is application/pdf.
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
1999
Artificial Intelligence
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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
2001
The AI Magazine
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2015; you can also visit the original URL.
The file type is application/pdf.
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
1996
International Journal of Human Factors in Manufacturing
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2006; you can also visit the original URL.
The file type is application/pdf.
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
2017
JMIR Research Protocols
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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
2002
IEEE Computer Graphics and Applications
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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]
2010
Hybrid Optimization
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2011; you can also visit the original URL.
The file type is application/pdf.
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
2001
ACM Transactions on Computer-Human Interaction
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2007; you can also visit the original URL.
The file type is application/pdf.
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
2012
Journal of Intelligent Manufacturing
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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]
2020
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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
2007
The Journal of Defence Modeling and Simulation: Applications, Methodology, Technology
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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]
2012
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Other Versions
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