1264 search results - page 242 / 253 » The framework approach for constraint satisfaction |
193
click to vote
TCAD
2008
15 years 6 months ago
2008
Abstract--Thermal issues are fast becoming major design constraints in high-performance systems. Temperature variations adversely affect system reliability and prompt worst-case de...
246
click to vote
VL
2010
IEEE
15 years 4 months ago
2010
IEEE
Many errors in spreadsheet formulas can be avoided if spreadsheets are built automatically from higher-level models that can encode and enforce consistency constraints. However, d...
200
click to vote
FGR
2011
IEEE
14 years 10 months ago
2011
IEEE
— Non-rigid object detection is a challenging open research problem in computer vision. It is a critical part in many applications such as image search, surveillance, humancomput...
131
click to vote
ACSC
2008
IEEE
16 years 19 days ago
2008
IEEE
In this paper, we examine the composition of firstclass protocols for multi-agent systems. First-class protocols are protocols that exist as executable specifications that agent...
165
click to vote
ICLP
2010
Springer
15 years 10 months ago
2010
Springer
Abstract. Service and process-oriented systems promise to provide more effective business and work processes and more flexible and adaptable enterprise IT systems. However, the t...