4099 search results - page 119 / 820 » A Framework for Interactive Proof |
SEMWEB
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. Social Network Analysis (SNA) provides graph algorithms to characterize the structure of social networks, strategic positions in these networks, specific sub-networks and...
ICML
1994
IEEE
15 years 1 months ago
1994
IEEE
In the Markov decision process (MDP) formalization of reinforcement learning, a single adaptive agent interacts with an environment defined by a probabilistic transition function....
ICCS
2007
Springer
15 years 4 months ago
2007
Springer
We use a systems approach to develop a predictive model that medical researchers can use to study and treat cancerous tumors. Our multiscale, cell-based model includes intracellula...
382
click to vote
EMINDS
2011
14 years 4 months ago
2011
In this paper, we analyze the term ”prospective design” from various perspectives. The theoretical-, research- and empirical-based approximations are centralized. Furthermore, ...
DSVIS
2000
Springer
15 years 2 months ago
2000
Springer
Abstract. The UML is recognized to be the dominant diagrammatic modeling language in the software industry. However, it’s support for building interactive systems is still acknow...