3116 search results - page 52 / 624 » Positively dependent types |
CONSTRAINTS
2010
14 years 12 months ago
2010
Abstract. We had claimed that arc-consistency is preserved in a constraint reformulation relying on functional dependencies (Theorem 2 of [2]). We show that the statement of this t...
ISESE
2006
IEEE
15 years 5 months ago
2006
IEEE
Spreadsheets are one of the most commonly used types of programs in the world, and it is important that they be sufficiently dependable. To help end users who create spreadsheets ...
ISVC
2005
Springer
15 years 5 months ago
2005
Springer
In this paper, we propose a method for obtaining a textured billboards representation of a static scene, given a sequence of calibrated video images. Each billboard is a textured a...
ACL
2009
14 years 9 months ago
2009
We experiment with splitting words into their stem and suffix components for modeling morphologically rich languages. We show that using a morphological analyzer and disambiguator...
ALT
2004
Springer
15 years 8 months ago
2004
Springer
Different formal learning models address different aspects of learning. Below we compare learning via queries—interpreting learning as a one-shot process in which the learner i...