3591 search results - page 337 / 719 » Typing linear constraints |
201
Voted
CSL
2010
Springer
15 years 8 months ago
2010
Springer
Our goal is to identify families of relations that are useful for reasoning about software. We describe such families using decidable quantifier-free classes of logical constraints...
211
Voted
SIAMJO
2002
15 years 6 months ago
2002
Abstract. Sequential quadratic programming (SQP) methods have proved highly effective for solving constrained optimization problems with smooth nonlinear functions in the objective...
212
Voted
ICDCS
2012
IEEE
13 years 9 months ago
2012
IEEE
Abstract—Modern day enterprises have a large IT infrastructure comprising thousands of applications running on servers housed in tens of data centers geographically spread out. T...
153
click to vote
ECCV
2008
Springer
16 years 8 months ago
2008
Springer
Catadioptric cameras are a popular type of omnidirectional imaging system. Their imaging and multi-view geometry has been extensively studied; epipolar geometry for instance, is ge...
206
Voted
WWW
2007
ACM
16 years 7 months ago
2007
ACM
Schema statements in OWL are interpreted quite differently from analogous statements in relational databases. If these statements are meant to be interpreted as integrity constrai...