Sciweavers

1712 search results - page 125 / 343
» A Computational Approach to Binding Theory
Sort
View
CVPR
2010
IEEE
15 years 4 months ago
A Study on Continuous Max-Flow and Min-Cut Approaches
Abstract. This work addresses a class of total-variation based multilabeling problems over a spatially continuous image domain, where the data fidelity term can be any bounded fun...
Jing Yuan, Egil Bae, Xuecheng Tai
SIGCSE
2010
ACM
166views Education» more  SIGCSE 2010»
15 years 8 months ago
Braided teaching in secondary CS education: contexts, continuity, and the role of programming
In this paper, we propose a new approach to thinking about and implementing Computer Science curricula in secondary education. The characteristic feature is to organize the items ...
Arno Pasternak, Jan Vahrenhold
CCA
2009
Springer
15 years 5 months ago
Effective Choice and Boundedness Principles in Computable Analysis
Abstract. In this paper we study a new approach to classify mathematical theorems according to their computational content. Basically, we are asking the question which theorems can...
Vasco Brattka, Guido Gherardi
ANSOFT
1998
157views more  ANSOFT 1998»
15 years 1 months ago
Software Engineering Programmes are not Computer Science Programmes
Programmes in “Software Engineering” have become a source of contention in many universities. Computer Science departments, many of which have used that phrase to describe ind...
David Lorge Parnas
100
Voted
PODS
2006
ACM
137views Database» more  PODS 2006»
16 years 1 months ago
Data exchange: computing cores in polynomial time
Data exchange deals with inserting data from one database into another database having a different schema. We study and solve a central computational problem of data exchange, nam...
Georg Gottlob, Alan Nash