Sciweavers

3760 search results - page 410 / 752
» Logic-Based Probabilistic Modeling
Sort
View
ISBI
2006
IEEE
16 years 5 months ago
Mixture principal component analysis for distribution volume parametric imaging in brain PET studies
In this paper, we present a mixture Principal Component Analysis (mPCA)-based approach for voxel level quantification of dynamic positron emission tomography (PET) data in brain s...
Peng Qiu, Z. Jane Wang, K. J. Ray Liu
VLDB
2007
ACM
132views Database» more  VLDB 2007»
15 years 11 months ago
EntityRank: Searching Entities Directly and Holistically
As the Web has evolved into a data-rich repository, with the standard “page view,” current search engines are becoming increasingly inadequate for a wide range of query tasks....
Tao Cheng, Xifeng Yan, Kevin Chen-Chuan Chang
CSFW
2006
IEEE
15 years 11 months ago
Information-Flow Security for Interactive Programs
Abstract. Interactive programs allow users to engage in input and output throughout execution. The ubiquity of such programs motivates the development of models for reasoning about...
Kevin R. O'Neill, Michael R. Clarkson, Stephen Cho...
QEST
2006
IEEE
15 years 11 months ago
Safe On-The-Fly Steady-State Detection for Time-Bounded Reachability
The time-bounded reachability problem for continuoustime Markov chains (CTMCs) amounts to determine the probability to reach a (set of) goal state(s) within a given time span, suc...
Joost-Pieter Katoen, Ivan S. Zapreev
ATAL
2004
Springer
15 years 10 months ago
Degree of Local Cooperation and Its Implication on Global Utility
In a cooperative multi-agent system that is situated in an evolving environment, agents need to dynamically adjust their negotiation attitudes towards different agents in order to...
Jiaying Shen, Xiaoqin Zhang, Victor R. Lesser