9626 search results - page 1255 / 1926 » Invariant Based Programming |
304
click to vote
ICDE
2001
IEEE
16 years 8 months ago
2001
IEEE
LeSelect is a mediator system which allows scientists to publish their resources (data and programs) so they can be transparently accessed. The scientists can typically issue quer...
170
click to vote
ICPR
2006
IEEE
16 years 8 months ago
2006
IEEE
In this paper we present a minimum sphere covering approach to pattern classification that seeks to construct a minimum number of spheres to represent the training data and formul...
241
click to vote
ICML
2008
IEEE
16 years 8 months ago
2008
IEEE
We consider the problem of optimizing multilabel MRFs, which is in general NP-hard and ubiquitous in low-level computer vision. One approach for its solution is to formulate it as...
171
click to vote
SIGSOFT
2009
ACM
16 years 8 months ago
2009
ACM
The suggestions made by current IDE's code completion features are based exclusively on static type system of the programming language. As a result, often proposals are made ...
165
click to vote
SIGSOFT
2007
ACM
16 years 8 months ago
2007
ACM
Generalization tasks are important for continual improvement to the design of an evolving code base, eliminating redundancy where it has accumulated. An important step in generali...