2162 search results - page 389 / 433 » Automated Reasoning on Feature Models |
235
Voted
GIS
2005
ACM
16 years 4 months ago
2005
ACM
Information about dynamic spatial fields, such as temperature, windspeed, or the concentration of gas pollutant in the air, is important for many environmental applications. At th...
213
Voted
GIS
2006
ACM
16 years 4 months ago
2006
ACM
Creating complex spatio?temporal simulation models is a hot issue in the area of spatio?temporal databases [7]. While existing Moving Object Simulators (MOSs) address different ph...
125
click to vote
SEMWEB
2005
Springer
15 years 9 months ago
2005
Springer
This paper addresses a major weakness of current technologies for the Semantic Web, namely the lack of a principled means to represent and reason about uncertainty. This not only h...
134
Voted
CORR
2010
Springer
15 years 3 months ago
2010
Springer
String diagrams are a powerful tool for reasoning about physical processes, logic circuits, tensor networks, and many other compositional structures. The distinguishing feature of...
140
Voted
CVPR
2007
IEEE
16 years 5 months ago
2007
IEEE
Detecting and segmenting free-form objects from cluttered backgrounds is a challenging problem in computer vision. Signature detection in document images is one classic example an...