476 search results - page 25 / 96 » Higher-Precision Groundness Analysis |
91
Voted
ICLP
2003
Springer
15 years 2 months ago
2003
Springer
Abstract. In this paper we show how we can use size and groundness analyses lifted to regular and (polymorphic) Hindley/Milner typed programs to determine more accurate termination...
ICDAR
2009
IEEE
15 years 4 months ago
2009
IEEE
† There is a significant need for a realistic dataset on which to evaluate layout analysis methods and examine their performance in detail. This paper presents a new dataset (and...
ICEIS
2008
IEEE
15 years 4 months ago
2008
IEEE
This paper presents a metadata-driven approach based on aspect-oriented requirements analysis. This approach has been defined in cooperation with the European Space Agency in the ...
EDM
2010
14 years 11 months ago
2010
Epistemic games are designed to help players develop domain-specific expertise that characterizes how professionals in a particular domain reason, communicate, and act [1, 11]. To ...
WACV
2007
IEEE
15 years 3 months ago
2007
IEEE
This paper presents an new framework for homographybased analysis of pedestrian-vehicle activity in crowded scenes. Planar homography constraint is exploited to extract view-invar...