| |
Control Engineering Practice In Special Issue on Manufacturing Plant Control: Challenges and Issues - INCOM 2004, 11th IFAC INCOM'04 Symposium on Information Control Problems in Manufacturing, Vol. 15, No. 11. (November 2007), pp. 1416-1426.
|
| |
In Gesture Workshop (2001), pp. 64-75.
|
| |
International Journal of Flexible Manufacturing Systems, Vol. 18, No. 3. (September 2006), pp. 191-208.
|
| |
Visualization and Computer Graphics, IEEE Transactions on, Vol. 14, No. 6. (24 October 2008), pp. 1301-1308.
|
| |
In Graph Drawing (2006), pp. 25-36.
|
| |
In Computing and Combinatorics (2003), pp. 496-508.
|
| |
|
| |
|
| |
In IJCAI'07: Proceedings of the 20th international joint conference on Artifical intelligence (2007), pp. 149-154.
|
| |
In CCL '94: Proceedings of the First International Conference on Constraints in Computational Logics (1994), pp. 34-49.
|
| |
In Proceedings of the Tenth International Conference on Principles and Practice of Constraint Programming (CP-04) (2004)
|
| |
In CADE-10: Proceedings of the tenth international conference on Automated deduction (1990), pp. 558-572.
|
| |
IEEE Trans. Comput., Vol. 35, No. 8. (21 August 1986), pp. 677-691.
|
| |
PLoS Comput Biol, Vol. 4, No. 10. (31 October 2008), e1000204.
|
| |
In MICAI 2009: Advances in Artificial Intelligence , Vol. 5845 (2009), pp. 360-371.
|
| |
ACM Comput. Surv., Vol. 38, No. 4. (2006), 12.
|
| |
In Artificial Intelligence: Methodology, Systems, and Applications (2008), pp. 380-384.
|
| |
In Theory and Applications of Satisfiability Testing (2005), pp. 235-250.
|
| |
Constraints, Vol. 14, No. 2. (1 June 2009), pp. 254-272.
|
| |
Journal on Satisfiability, Boolean Modeling and Computation, Vol. 2 (2006), pp. 1-26.
|
| |
In Principles and Practice of Constraint Programming – CP 2007 (2007), pp. 483-497.
|
| |
In Principles and Practice of Constraint Programming - CP 2005 (2005), pp. 827-831.
|
| |
In Theory and Applications of Satisfiability Testing - SAT 2009 , Vol. 5584 (2009), pp. 181-194.
|
| |
In Principles and Practice of Constraint Programming – CP 2007 (2007), pp. 815-822.
|
| |
Commun. ACM, Vol. 52, No. 8. (2009), pp. 76-82.
|
| |
Constraints, Vol. 9, No. 2. (1 April 2004), pp. 123-138.
|
| |
In Principles and Practice of Constraint Programming – CP 2000 (2000), pp. 441-456.
|
| |
Information Visualization, 2007. IV '07. 11th International Conference In Information Visualization, 2007. IV '07. 11th International Conference (6 July 2007), pp. 470-475.
|
| |
AI EDAM, Vol. 19, No. 01. (2005), pp. 39-47.
|
| |
Computer-Aided Design, Vol. 40, No. 8. (August 2008), pp. 863-878.
|
| |
Pattern Analysis and Machine Intelligence, IEEE Transactions on In Pattern Analysis and Machine Intelligence, IEEE Transactions on, Vol. 15, No. 5. (06 August 2002), pp. 514-521.
|
| |
Electronics and Communications in Japan (Part II: Electronics), Vol. 86, No. 3. (2003), pp. 35-46.
|
| |
In Theory and Applications of Satisfiability Testing (2005), pp. 467-474.
|
| |
In Design, Automation and Test in Europe, 2008. DATE '08 (14 March 2008), pp. 1268-1273.
|
| |
In Very Large Scale Integration (VLSI) Systems, IEEE Transactions on, Vol. 12, No. 4. (19 April 2004), pp. 408-419.
|
| |
In Field-Programmable Custom Computing Machines, 1999. FCCM '99. Proceedings. Seventh Annual IEEE Symposium on (06 August 2002), pp. 308-309.
by P. K. Chan, M. J. Boyd, S. Goren, et al.K. Klenk, V. Kodavati, R. Kundu, M. Margolese, J. Sun, K. Suzuki, E. Thorne, X. Wang, J. Xu, M. Zhu
|
| |
In In Post-Proceedings of the Summer School on Generative and Transformational Techniques in Software Engineering (GTTSE). LNCS 4143, Vol. 4143 (2005)
|
| |
In AAAI'05: Proceedings of the 20th national conference on Artificial intelligence (2005), pp. 467-474.
|
| |
Constraints, Vol. 14, No. 4. (1 December 2009), pp. 478-505.
|
| |
In DAC '08: Proceedings of the 45th annual Design Automation Conference (2008), pp. 149-154.
|
| |
|
| |
|
| |
Applied Soft Computing, Vol. 8, No. 4. (September 2008), pp. 1400-1406.
|
| |
In Proc. Int. Workshop on SoC and MCSoC Design - IWSOC'2006, 4th Int. Conference on Advances in Mobile Computing and Multimedia - MoMM'2006 (2006), pp. 359-368.
|
| |
Microprocessors and Microsystems, Vol. 28, No. 5-6. (August 2004), pp. 197-211.
|
| |
Field-Programmable Custom Computing Machines, 2001. FCCM '01. The 9th Annual IEEE Symposium on (02 May 2005), pp. 239-248.
|
| |
Field-Programmable Custom Computing Machines, Annual IEEE Symposium on In Field-Programmable Custom Computing Machines, 2002. Proceedings. 10th Annual IEEE Symposium on, Vol. 0 (06 January 2003), pp. 282-283.
|
| |
In ECAI 2008 Workshop on Configuration Systems (July 2008)
|
| |
Journal of Automated Reasoning, Vol. 37, No. 1. (19 August 2006), pp. 45-66.
|
| |
|
Search
