10916 search results - page 1848 / 2184 » On Constructive Connectives and Systems |
169
click to vote
ICML
1996
IEEE
16 years 7 months ago
1996
IEEE
In this paper, we describe two di erent learning tasks for relational structures. When learning a classi er for structures, the relational structures in the training sets are clas...
168
click to vote
SIGSOFT
2009
ACM
16 years 7 months ago
2009
ACM
Programs of a software product line can be synthesized by composing features which implement a unit of program functionality. In most product lines, only some combination of featu...
149
click to vote
SIGSOFT
2008
ACM
16 years 7 months ago
2008
ACM
Programs trusted with secure information should not release that information in ways contrary to system policy. However, when a program contains an illegal flow of information, cu...
187
click to vote
ISBI
2004
IEEE
16 years 7 months ago
2004
IEEE
We propose a novel method for reconstructing a complete 3D model of a given anatomy from minimal information. This reconstruction provides an appropriate intra-operative 3D visual...
203
click to vote
WWW
2008
ACM
16 years 7 months ago
2008
ACM
We propose a novel iterative searching and refining prototype for tagged images. This prototype, named PivotBrowser, captures semantically similar tag sets in a structure called p...