4592 search results - page 272 / 919 » Framework for Studying Substitution |
234
click to vote
AIRS
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. This paper presents an interactive content-based image retrieval framework--uInteract, for delivering a novel four-factor user interaction model visually. The four-factor...
205
click to vote
CCGRID
2001
IEEE
15 years 11 months ago
2001
IEEE
The global computational grids bring together distributed computation/communication resources. Beyond this, we envision the emergence of global `service grids', which provide...
226
click to vote
CSFW
2012
IEEE
13 years 10 months ago
2012
IEEE
Abstract—This paper studies the foundations of informationflow security for interactive programs. Previous research assumes that the environment is total, that is, it must alway...
198
click to vote
ISBI
2008
IEEE
16 years 8 months ago
2008
IEEE
An automated, level-set based, segmentation framework is proposed in this work for computation of tumoral volumes on mice brain bearing gliomal tumors. T1 and T2 weighted MRI imag...
342
click to vote
ICLP
2009
Springer
16 years 8 months ago
2009
Springer
We define logic programs with defaults and argumentation theories, a new framework that unifies most of the earlier proposals for defeasible reasoning in logic programming. We pres...