3564 search results - page 387 / 713 » Evaluating a Formal Modelling Language |
218
click to vote
SIGMOD
2000
ACM
15 years 11 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...
207
click to vote
CVPR
2003
IEEE
16 years 9 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...
233
click to vote
GEOS
2007
Springer
16 years 1 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...
204
click to vote
ICWE
2007
Springer
16 years 1 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...
224
click to vote
KI
2007
Springer
16 years 1 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...