6431 search results - page 242 / 1287 » Model Building by Resolution |
395
click to vote
KDID
2004
15 years 8 months ago
2004
Abstract. Database systems are islands of structure in a sea of unstructured data sources. Several real-world applications now need to create bridges for smooth integration of semi...
165
click to vote
SOCO
2008
Springer
15 years 6 months ago
2008
Springer
The new concept and method of imposing imprecise (fuzzy) input and output data upon the conventional linear regression model is proposed in this paper. We introduce the fuzzy scala...
136
click to vote
JAIR
2007
15 years 6 months ago
2007
In this paper, we study the possibility of designing non-trivial random CSP models by exploiting the intrinsic connection between structures and typical-case hardness. We show tha...
208
click to vote
CAV
2012
Springer
13 years 9 months ago
2012
Springer
Craig interpolation is a well known method of abstraction successfully used in both hardware and software model checking. The logical strength of interpolants can affect the quali...
174
click to vote
3DIM
2005
IEEE
16 years 6 days ago
2005
IEEE
This paper describes a 3D modeling method for wide area outdoor environments which is based on integrating omnidirectional range and color images. In the proposed method, outdoor ...