5205 search results - page 669 / 1041 » Tilings and model theory |
167
click to vote
FM
2003
Springer
16 years 2 days ago
2003
Springer
Simple retrenchment is briefly reviewed in the B language of J.-R. Abrial [1] as a liberalisation of classical refinement, for the formal description of application developments ...
168
click to vote
HOLOMAS
2003
Springer
16 years 2 days ago
2003
Springer
With the growing usage of the world-wide ICT networks, agent technologies and multiagent systems are attracting more and more attention, as they perform well in environments that a...
206
click to vote
ICVS
2003
Springer
16 years 1 days ago
2003
Springer
Abstract. We introduce the knowledge-based image interpretation system GeoAIDA and give examples for an image operator, extracting trees from aerial imagery. Moreover we present a ...
180
click to vote
ICWL
2003
Springer
16 years 1 days ago
2003
Springer
: This paper presents the design of a web-based learning content authoring tool as well as the way learners can access courseware material, within the scope of a personalized, yet ...
195
click to vote
ECCV
2010
Springer
16 years 1 days ago
2010
Springer
This paper describes a method to recover scene geometry from the second-bounce of light transport. We show that form factors (up to a scaling ambiguity) can be derived from the sec...