2381 search results - page 289 / 477 » On Ordering Descriptions in a Description Logic |
107
click to vote
CSL
2006
Springer
15 years 5 months ago
2006
Springer
Game quantification is an expressive concept and has been studied in model theory and descriptive set theory, especially in relation to infinitary logics. Automatic structures on t...
110
click to vote
ICWS
2007
IEEE
15 years 3 months ago
2007
IEEE
Web services are becoming the prominent paradigm for distributing, computing, and electronic business, while there is an increasing surge to provide online Businessto-Business col...
114
click to vote
SWAP
2008
15 years 3 months ago
2008
Abstract. Enterprise modelling focuses on the construction of a structured description, the so-called enterprise model, which represents (a subset of) the aspects relevant to the a...
105
click to vote
FMSD
2006
15 years 2 months ago
2006
Convex polyhedra are often used to approximate sets of states of programs involving numerical variables. The manipulation of convex polyhedra relies on the so-called double descri...
117
click to vote
CVPR
2006
IEEE
16 years 4 months ago
2006
IEEE
Given a dense set of imperfect normals obtained by photometric stereo or shape from shading, this paper presents an optimization algorithm which alternately optimizes until conver...