Sciweavers

1575 search results - page 225 / 315
» A Behavioral Analysis of Computational Models of Visual Atte...
Sort
View
DICTA
2003
15 years 7 months ago
Volumetric Medical Imaging Environment
We describe a graphical tool for analysis and visualization of three dimensional medical data. The application is intended to help physicians interpret the geometric structures of ...
Bobi Gilburd, Michal Holtzman-Gazit, Alon Spira, D...
TSE
2011
134views more  TSE 2011»
15 years 1 months ago
Verifying the Evolution of Probability Distributions Governed by a DTMC
— We propose a new probabilistic temporal logic iLTL which captures properties of systems whose state can be represented by probability mass functions (pmf’s). Using iLTL, we c...
YoungMin Kwon, Gul A. Agha
MOBIHOC
2009
ACM
16 years 6 months ago
Characterizing the exit process of a non-saturated IEEE 802.11 wireless network
In this paper, we consider a non-saturated IEEE 802.11 based wireless network. We use a three-way fixed point to model the node behavior with Bernoulli packet arrivals and determi...
Punit Rathod, Onkar Dabeer, Abhay Karandikar, Anir...
186
Voted
UM
2005
Springer
15 years 11 months ago
Modeling Individual and Collaborative Problem Solving in Medical Problem-Based Learning
Abstract. Since problem solving in group problem-based learning is a collaborative process, modeling individuals and the group is necessary if we wish to develop an intelligent tut...
Siriwan Suebnukarn, Peter Haddawy
CSCW
2006
ACM
16 years 5 days ago
Where's the "party" in "multi-party"?: analyzing the structure of small-group sociable talk
Spontaneous multi-party interaction – conversation among groups of three or more participants – is part of daily life. While automated modeling of such interactions has receiv...
Paul M. Aoki, Margaret H. Szymanski, Luke D. Plurk...