2638 search results - page 227 / 528 » A Framework for Automatic Debugging |
174
Voted
ACSC
2003
IEEE
16 years 9 days ago
2003
IEEE
The Map Labelling Problem appears in several applications, mainly in Cartography. Although much research on this problem has been done, it is interesting to note that map-labellin...
179
click to vote
CGI
2009
IEEE
15 years 11 months ago
2009
IEEE
We introduce a novel video stylisation framework based on decomposing the video volume into 3D Voronoi cells. Colour samples are taken for each cell in a video, leading to an effi...
194
click to vote
ICIAP
1997
ACM
15 years 10 months ago
1997
ACM
This paper presents methods for detection and reconstruction of `missing' data in image sequences which can be modelled using 3-dimensional autoregressive (3DAR) models. The ...
215
click to vote
AAAI
2007
15 years 9 months ago
2007
Semantic inference is an important component in many natural language understanding applications. Classical approaches to semantic inference rely on complex logical representation...
155
click to vote
AISC
2008
Springer
15 years 9 months ago
2008
Springer
Abstract. Assumptions about the domains of partial functions are necessary in state-of-the-art proof assistants. On the other hand when mathematicians write about partial functions...