-
1
-
-
33646172999
-
Incremental evaluation of computational circuits
-
Alpern, B., Hoover, R., Rosen, B.K., Sweeney, P. F., and Zadeck, F.K., Incremental evaluation of computational circuits. In ACM SIGACT-SIAM’89 Conference on Discrete Algorithms, pp. 32–42, 1990.
-
(1990)
ACM SIGACT-SIAM’89 Conference on Discrete Algorithms
, pp. 32-42
-
-
Alpern, B.1
Hoover, R.2
Rosen, B.K.3
Sweeney, P.F.4
Zadeck, F.K.5
-
2
-
-
0004481888
-
An Object-Oriented Framework for Local Search Heuristics
-
IEEE Press
-
Andreatta, A., Carvalho, S., and Ribeiro, C., An Object-Oriented Framework for Local Search Heuristics, 26th Conference on Technology of Object-Oriented Languages and Systems (TOOLS USA’98), IEEE Press, 33-45, 1998.
-
(1998)
26Th Conference on Technology of Object-Oriented Languages and Systems (TOOLS USA’98)
, pp. 33-45
-
-
Andreatta, A.1
Carvalho, S.2
Ribeiro, C.3
-
3
-
-
0345047012
-
HSF: A generic framework to easily design Meta-Heuristic methods
-
Porto, Portugal
-
Dorne, R, and Voudouris, C., HSF: A generic framework to easily design Meta-Heuristic methods, 4th Metaheuristics International Conference (MIC’ 2001), Porto, Portugal, 423-428, 2001.
-
(2001)
4Th Metaheuristics International Conference (MIC’ 2001)
, pp. 423-428
-
-
Dorne, R.1
Voudouris, C.2
-
4
-
-
0037490525
-
Building Reusable Software Components for Heuristic Search
-
In: P. Kall, H.-J. Lüthi (Eds.), Springer, Berlin
-
Fink, A., Voß, S., Woodruff, D., Building Reusable Software Components for Heuristic Search, In: P. Kall, H.-J. Lüthi (Eds.), Operations Research Proceedings 1998, Springer, Berlin, 210-219, 1999.
-
(1999)
Operations Research Proceedings 1998
, pp. 210-219
-
-
Fink, A.1
Voß, S.2
Woodruff, D.3
-
5
-
-
0030733938
-
Toward an Application Framework for Automated Planning and Scheduling
-
Tokyo, Japan, July
-
Fukunaga, A., Rabideau, G., Chien, S., and Yan, D., Toward an Application Framework for Automated Planning and Scheduling, Proceedings of the 1997 International Symposium on Artificial Intelligence, Robotics and Automation for Space, Tokyo, Japan, July 1997.
-
Proceedings of the 1997 International Symposium on Artificial Intelligence, Robotics and Automation for Space
, pp. 1997
-
-
Fukunaga, A.1
Rabideau, G.2
Chien, S.3
Yan, D.4
-
6
-
-
0005257447
-
-
Cornell University, Ithaca, NY
-
Hoover, R., Incremental Graph Evaluation. PhD thesis, Department of Computer Science, Cornell University, Ithaca, NY, 1987.
-
(1987)
Incremental Graph Evaluation. Phd Thesis, Department of Computer Science
-
-
Hoover, R.1
-
7
-
-
84976739714
-
Incremental Attribute Evaluation: A Flexible Algorithm for Lazy Update
-
Hudson, S., Incremental Attribute Evaluation: A Flexible Algorithm for Lazy Update, ACM Transactions on Programming Languages and Systems, Vol.13, No. 3, pp. 315-341, July 1991.
-
(1991)
ACM Transactions on Programming Languages and Systems
, vol.13
, Issue.3
, pp. 315-341
-
-
Hudson, S.1
-
8
-
-
79951649166
-
Templar: An Object Oriented Framework for Distributed Combinatorial Optimization
-
London, 7 December
-
Jones, M., McKeown, G, Raywar-Smith, V., Templar: An Object Oriented Framework for Distributed Combinatorial Optimization, UNICOM Seminar on Modern Heuristics for Decision Support, London, 7 December, 1998.
-
(1998)
UNICOM Seminar on Modern Heuristics for Decision Support
-
-
Jones, M.1
McKeown, G.2
Raywar-Smith, V.3
-
9
-
-
0028442512
-
Implementation of Resource Constraints in ILOG SCHEDULE: A Library for the Development of Constraint-Based Scheduling Systems
-
Le Pape, C., Implementation of Resource Constraints in ILOG SCHEDULE: A Library for the Development of Constraint-Based Scheduling Systems, Intelligent Systems Engineering, 3(2):55-66, 1994.
-
(1994)
Intelligent Systems Engineering
, vol.3
, Issue.2
, pp. 55-66
-
-
Le Pape, C.1
-
10
-
-
84947961165
-
-
Brown University, March
-
Michel, L. and Van Hentenryck, P., Localizer, Tech Report CS-98-02, Brown University, March 1998.
-
(1998)
Localizer, Tech Report CS-98-02
-
-
Michel, L.1
Van Hentenryck, P.2
-
11
-
-
0037831137
-
Localizer: A Modeling Language for Local Search
-
Michel, L. and Van Hentenryck, P., Localizer: A Modeling Language for Local Search, INFORMS Journal of Computing 11(1): 1-14, 1999.
-
(1999)
INFORMS Journal of Computing
, vol.11
, Issue.1
, pp. 1-14
-
-
Michel, L.1
Van Hentenryck, P.2
-
12
-
-
0004158521
-
-
Microsoft Corporation
-
Microsoft Corporation, Microsoft Excel.
-
Microsoft Excel
-
-
-
13
-
-
0031165668
-
The Amulet Environment: New Models for Effective User Interface Software Development
-
Myers B.A., McDaniel, R.G., Miller, R.C., Ferrency, A., Faulring, A., Kyle, B.D., Mickish, A., Klimovitski, A., and Doane, P., The Amulet Environment: New Models for Effective User Interface Software Development, IEEE Transactions on Software Engineering, Vol. 23, No. 6, pp. 347-365, 1997.
-
(1997)
IEEE Transactions on Software Engineering
, vol.23
, Issue.6
, pp. 347-365
-
-
Myers, B.A.1
McDaniel, R.G.2
Miller, R.C.3
Ferrency, A.4
Faulring, A.5
Kyle, B.D.6
Mickish, A.7
Klimovitski, A.8
Doane, P.9
-
14
-
-
0025521552
-
Garnet: Comprehensive Support for Graphical, Highly- Interactive User Interfaces
-
Myers, B.A., Giuse D., Dannenberg, R.B., Zanden, B.V., Kosbie, D.S., Pervin E., Mickish, A., and Marchal, P., Garnet: Comprehensive Support for Graphical, Highly- Interactive User Interfaces, IEEE Computer, Vol. 23, No. 11., pp. 71-85, 1990.
-
(1990)
IEEE Computer
, vol.23
, Issue.11
, pp. 71-85
-
-
Myers, B.A.1
Giuse, D.2
Dannenberg, R.B.3
Zanden, B.V.4
Kosbie, D.S.5
Pervin, E.6
Mickish, A.7
Marchal, P.8
-
15
-
-
84958057644
-
Applications of constraint programming
-
in Montanari, U. & Rossi, F. (ed.), Springer Verlag, Berlin, Heidelberg & New York
-
Puget, J-F., Applications of constraint programming, in Montanari, U. & Rossi, F. (ed.), Proceedings, Principles and Practice of Constraint Programming (CP'95), Lecture Notes in Computer Science, Springer Verlag, Berlin, Heidelberg & New York, 647-650,1995.
-
(1995)
Proceedings, Principles and Practice of Constraint Programming (CP'95), Lecture Notes in Computer Science
, pp. 647-650
-
-
Puget, J.-F.1
-
16
-
-
0032591862
-
LOCAL++: A C++ framework for local search algorithms
-
Schaerf, A., Lenzerini, M., Cadoli, M, LOCAL++: a C++ framework for local search algorithms, Proc. of TOOLS Europe '99: Technology of Object Oriented Languages and Systems. 29th Int. Conf. 7-10 June, IEEE Comput. Soc, pp. 152-61, 1999.
-
(1999)
Proc. Of TOOLS Europe '99: Technology Of Object Oriented Languages and Systems. 29Th Int. Conf. 7-10 June, IEEE Comput. Soc
, pp. 152-161
-
-
Schaerf, A.1
Lenzerini, M.2
Cadoli, M.3
-
17
-
-
0345157157
-
An Ontology for Constructing Scheduling Systems
-
Stanford, CA, March, (AAAI Press)
-
Smith, S.F., and Becker, M., An Ontology for Constructing Scheduling Systems, Working Notes of 1997 AAAI Symposium on Ontological Engineering, Stanford, CA, March, 1997 (AAAI Press).
-
(1997)
Working Notes of 1997 AAAI Symposium on Ontological Engineering
-
-
Smith, S.F.1
Becker, M.2
-
18
-
-
84947941263
-
Heuristic search and one-way constraints for combinatorial optimisation
-
Asford, Kent UK, April
-
Voudouris, C., and Dorne, R., Heuristic search and one-way constraints for combinatorial optimisation, Proceedings of CP-AI-OR’01, Wye College (Imperial College), Asford, Kent UK, pp. 257–269, April 2001.
-
(2001)
Proceedings of CP-AI-OR’01, Wye College (Imperial College)
, pp. 257-269
-
-
Voudouris, C.1
Dorne, R.2
-
19
-
-
26144458469
-
-
manuscript in preperation
-
Zanden, B.V., Halterman, R., Myers, B.A., McDaniel, R., Miller, R., Szekely, P., Giuse, D., and Kosbie, D., Lessons Learned About One-Way, Dataflow Constraints in the Garnet and Amulet Graphical Toolkits, manuscript in preperation, 1999.
-
(1999)
Lessons Learned about One-Way, Dataflow Constraints in the Garnet and Amulet Graphical Toolkits
-
-
Zanden, B.V.1
Halterman, R.2
Myers, B.A.3
McDaniel, R.4
Miller, R.5
Szekely, P.6
Giuse, D.7
Kosbie, D.8
-
20
-
-
84976665846
-
Integrating Pointer Variables into One-Way Constraint Models
-
June
-
Zanden, B.V., Myers, B.A., Giuse, D. and Szekely, P., Integrating Pointer Variables into One-Way Constraint Models, ACM Transactions on Computer-Human Interaction. Vol. 1, No. 2, pp. 161-213, June 1994.
-
(1994)
ACM Transactions on Computer-Human Interaction
, vol.1
, Issue.2
, pp. 161-213
-
-
Zanden, B.V.1
Myers, B.A.2
Giuse, D.3
Szekely, P.4
|