4372 search results - page 114 / 875 » Objects for Lexical Analysis |
ICIAR
2005
Springer
15 years 3 months ago
2005
Springer
We have developed a generic ontology of objects, and a knowledge base of everyday physical objects. Objects are represented as assemblies of functional features and their spatial r...
CSMR
2004
IEEE
15 years 1 months ago
2004
IEEE
Language integration is an important issue in the area of software maintenance and reengineering. We describe a novel solution in this area: automatically applied and composed spl...
FMOODS
2007
14 years 11 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...
140
click to vote
EDBT
2009
ACM
15 years 4 months ago
2009
ACM
As information networks become ubiquitous, extracting knowledge from information networks has become an important task. Both ranking and clustering can provide overall views on in...
CAIP
1997
Springer
15 years 2 months ago
1997
Springer
A method for calibration of the optic center and the focal length of a pin-hole camera is suggested, where the camera parameters are constructed geometrically in the image plane. B...