1342 search results - page 78 / 269 » Shape reasoning and understanding |
149
click to vote
ECCV
1998
Springer
16 years 7 months ago
1998
Springer
Abstract. This paper proposes an approach for automatic road extraction in aerial imagery which exploits the scale-space behavior of roads in combination with geometric constrained...
137
click to vote
CALCO
2009
Springer
16 years 15 days ago
2009
Springer
The operational semantics of interactive systems is usually described by labeled transition systems. Abstract semantics (that is deļ¬ned in terms of bisimilarity) is characterized...
129
click to vote
ATAL
2007
Springer
16 years 3 days ago
2007
Springer
In this paper we enrich FIEVeL (a modelling language for institutions amenable to model checking) with new constructs to describe norms and sanctions. Moreover, we present a speciļ...
178
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
tigate the role of nondeterminism in Winfree's abstract Tile Assembly Model (aTAM), which was conceived to model artificial molecular self-assembling systems constructed from...
177
click to vote
FLAIRS
2008
15 years 8 months ago
2008
One of the central problems in building broad-coverage story understanding systems is generating expectations about event sequences, i.e. predicting what happens next given some a...