Sciweavers

1757 search results - page 96 / 352
» Integrating and Extending JCSP
Sort
View
ECMDAFA
2006
Springer
142views Hardware» more  ECMDAFA 2006»
15 years 1 months ago
Constraint Support in MDA Tools: A Survey
: The growing interest in the MDA (Model-Driven Architecture) and MDD (Model-Driven Development) approaches has largely increased the number of tools and methods including code-gen...
Jordi Cabot, Ernest Teniente
73
Voted
IPCO
2008
87views Optimization» more  IPCO 2008»
14 years 11 months ago
Vertex Cover Resists SDPs Tightened by Local Hypermetric Inequalities
We consider the standard semidefinite programming (SDP) relaxation for vertex cover to which all hypermetric inequalities supported on at most k vertices have been added. We show t...
Konstantinos Georgiou, Avner Magen, Iannis Tourlak...
AAAI
2000
14 years 11 months ago
Solving a Supply Chain Optimization Problem Collaboratively
We propose a novel algorithmic framework to solve an integrated planning and scheduling problem in supply chain management. This problem involves the integration of an inventory m...
Hoong Chuin Lau, Andrew Lim, Qi Zhang Liu
WSCG
2003
122views more  WSCG 2003»
14 years 11 months ago
Using Registration, Calibration, and Robotics to Build a More Accurate Virtual Reality Simulation for Astronaut Training and Tel
Computer simulation of surgery and scientific experiments help in preparation, training, and assessment. These benefits can be further extended with the integration of robotics fo...
Anil Menon, B. Barnes, R. Mills, Cynthia Bruyns, A...
SIGMOD
2011
ACM
176views Database» more  SIGMOD 2011»
14 years 20 days ago
Sharing work in keyword search over databases
An important means of allowing non-expert end-users to pose ad hoc queries — whether over single databases or data integration systems — is through keyword search. Given a set...
Marie Jacob, Zachary G. Ives