2162 search results - page 387 / 433 » Automated Reasoning on Feature Models |
227
click to vote
GIS
2004
ACM
16 years 4 months ago
2004
ACM
Aerial video provides strong cues for automatic road extraction that are not available in static aerial images. Using stabilized (or geo-referenced) video data, capturing the dist...
226
click to vote
GIS
2006
ACM
16 years 4 months ago
2006
ACM
An iconic image database is a collection of symbolic images where each image is a collection of labeled point features called icons. A method is presented to support fast position...
162
click to vote
PLPV
2010
ACM
16 years 20 days ago
2010
ACM
Singleton types are often considered a poor man’s substitute for dependent types. But their generalization in the form of GADTs has found quite a following. The main advantage o...
123
click to vote
ECSQARU
2007
Springer
15 years 10 months ago
2007
Springer
Many types of inter-agent dialogue, including information seeking, negotiation and deliberation can be fruitfully seen as varieties of argumentation. Argumentation frameworks, ori...
146
click to vote
PPSWR
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. We discuss language architecture for the Semantic Web, and in particular different proposals for extending this architecture with a rules component. We argue that an arch...