5205 search results - page 293 / 1041 » Tilings and model theory |
187
click to vote
MIRAGE
2007
Springer
16 years 26 days ago
2007
Springer
Abstract. This paper introduces a new concept within shadow segmentation for usage in shadow removal and augmentation through construction of an alpha overlay shadow model. Previou...
152
click to vote
SAC
2006
ACM
16 years 21 days ago
2006
ACM
In the paper we describe the problem of grouping and aggregation in the concept-oriented data model. The model is based on ordering its elements within a hierarchical multidimensi...
164
click to vote
ATAL
2003
Springer
15 years 12 months ago
2003
Springer
The term social navigation refers to the process of seeking social interaction as a source of navigational support. In this paper we present a computational model of social naviga...
146
click to vote
ITP
2010
15 years 10 months ago
2010
Nitpick is a counterexample generator for Isabelle/HOL that builds on Kodkod, a SAT-based first-order relational model finder. Nitpick supports unbounded quantification, (co)ind...
180
click to vote
BPM
2006
Springer
15 years 10 months ago
2006
Springer
Interdependence between the subsystems of an enterprise is one of the driving reasons for integrating the enterprise. Integration attempts to manage those interdependencies so all ...