1963 search results - page 83 / 393 » Function Materialization in Object Bases |
104
click to vote
LREC
2008
15 years 2 months ago
2008
We report about a project which brings together Natural Language Processing and eLearning. One of the functionalities developed within this project is the possibility to annotate ...
90
Voted
EDBT
2006
ACM
16 years 22 days ago
2006
ACM
In modern databases, complex objects like multimedia data, proteins or text objects can be modeled in a variety of representations and can be decomposed into multiple instances of ...
81
Voted
CDC
2009
IEEE
15 years 5 months ago
2009
IEEE
— This work deals with a group of mobile sensors sampling a spatiotemporal random field whose mean is unknown and covariance is known up to a scaling parameter. The Bayesian pos...
120
Voted
TVCG
2012
13 years 3 months ago
2012
—In this paper, we present a robust and accurate algorithm for interactive image segmentation. The level set method is clearly advantageous for image objects with a complex topol...
114
click to vote
FMOODS
2007
15 years 2 months ago
2007
In this paper we present a formalization of Abadi’s and Cardelli’s theory of objects in the interactive theorem prover Isabelle/HOL. Our motivation is to build a mechanized HOL...