746 search results - page 28 / 150 » On the Generation of Oriented Matroids |
COLING
2000
13 years 10 months ago
2000
This paper describes an approach to using semantic rcprcsentations for learning information extraction (IE) rules by a type-oriented inductire logic programming (ILl)) system. NLP...
VIS
2004
IEEE
14 years 10 months ago
2004
IEEE
Topological methods aim at the segmentation of a vector field into areas of different flow behavior. For 2D time-dependent vector fields, two such segmentations are possible: eith...
PPDP
2005
Springer
14 years 2 months ago
2005
Springer
fects are statically generated program abstractions, that can be model checked for verification of assertions in a temporal program logic. In this paper we develop a type and eff...
APSEC
2002
IEEE
14 years 1 months ago
2002
IEEE
Reengineering legacy software systems to object oriented platforms has received significant attention over the past few years. In this paper, we propose a goal driven software mig...
WSCG
2003
13 years 10 months ago
2003
Interactive and realistic rendering of various effects which are appeared in the real world paintings can be used for several applications such as animation or education. For West...