3564 search results - page 387 / 713 » Evaluating a Formal Modelling Language |
154
click to vote
SIGMOD
2000
ACM
15 years 8 months ago
2000
ACM
We consider spatio-temporal databases supporting spatial objects with continuously changing position and extent, termed moving objects databases. We formally define a data model f...
139
click to vote
CVPR
2003
IEEE
16 years 6 months ago
2003
IEEE
Videotext recognition is challenging due to low resolution, diverse fonts/styles, and cluttered background. Past methods enhanced recognition by using multiple frame averaging, im...
163
click to vote
GEOS
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Representing human spatial knowledge has long been a challenging research area. The objective of this paper is to model a route description of human navigation where verb...
145
click to vote
ICWE
2007
Springer
15 years 10 months ago
2007
Springer
In recent years, innovation in technologies such as web services, business process automation, etc., have motivated a new paradigm in the application development field to appear, k...
155
click to vote
KI
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Markov logic, as a highly expressive representation formalism that essentially combines the semantics of probabilistic graphical models with the full power of first-orde...