Sciweavers

4752 search results - page 72 / 951
» From computation models to models of provenance: the RWS app...
Sort
View
ICNC
2005
Springer
14 years 2 months ago
Modeling Belief, Capability and Promise for Cognitive Agents - A Modal Logic Approach
From the last decade, modeling of cognitive agents have drawn great attention and provide a new paradigm for addressing fundamental questions in cognitive science. In this paper, a...
Xinyu Zhao, Zuoquan Lin
BMCBI
2008
123views more  BMCBI 2008»
13 years 9 months ago
Validation of protein models by a neural network approach
Background: The development and improvement of reliable computational methods designed to evaluate the quality of protein models is relevant in the context of protein structure re...
Paolo Mereghetti, Maria Luisa Ganadu, Elena Papale...
AI
2004
Springer
13 years 8 months ago
On the computational complexity of qualitative coalitional games
We study coalitional games in which agents are each assumed to have a goal to be achieved, and where the characteristic property of a coalition is a set of choices, with each choi...
Michael Wooldridge, Paul E. Dunne
ISBI
2002
IEEE
14 years 9 months ago
Joint estimation of cardiac kinematics and material parameters from noisy imaging data and uncertain mechanical model
There have been many efforts using image analysis algorithms to study cardiac kinematics, or using biomechanics strategies to study myocardial material properties. In this paper, ...
Huafeng Liu, Edward W. B. Lo, Pengcheng Shi
MOBISYS
2006
ACM
14 years 8 months ago
Building realistic mobility models from coarse-grained traces
In this paper we present a trace-driven framework capable of building realistic mobility models for the simulation studies of mobile systems. With the goal of realism, this framew...
Jungkeun Yoon, Brian D. Noble, Mingyan Liu, Minkyo...