600 search results - page 27 / 120 » Solving Distributed Constraint Optimization Problems Using L... |
73
Voted
SAS
2007
Springer
15 years 5 months ago
2007
Springer
Type constraints express subtype-relationships between the types of program expressions that are required for type-correctness, and were originally proposed as a convenient framewo...
113
Voted
PLANX
2007
15 years 11 days ago
2007
We present an algorithm to solve XPath decision problems under regular tree type constraints and show its use to statically typecheck XPath queries. To this end, we prove the deci...
97
Voted
SAC
1994
ACM
15 years 3 months ago
1994
ACM
An extension of Me parallel constraint logic programming language ElipSys is presented. This extension is directed towards the development of multi-agent systems which have to dea...
84
Voted
DAC
2000
ACM
15 years 3 months ago
2000
ACM
In many modern designs, timing is either a key optimization goal and/or a mandatory constraint. We propose the first intellectual property protection technique using watermarking ...
101
Voted
EMMCVPR
2001
Springer
15 years 3 months ago
2001
Springer
The interest of graph matching techniques in the pattern recognition field is increasing due to the versatility of representing knowledge in the form of graphs. However, the size ...